diff options
| -rwxr-xr-x | git-pull-script | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-pull-script b/git-pull-script index 4220e18732..9315426e7a 100755 --- a/git-pull-script +++ b/git-pull-script @@ -54,3 +54,4 @@ result_commit=$(echo "$merge_msg" | git-commit-tree $result_tree -p $head -p $me echo "Committed merge $result_commit" echo $result_commit > .git/HEAD git-checkout-cache -f -a && git-update-cache --refresh +git-diff-tree -p ORIG_HEAD HEAD | diffstat -p1 |