git-pull-script: add a final "diffstat" to show the result of the merge.

This is useful to verify that you got the right thing.
git-mirror · May 4, 2005 · 705acc5 · 705acc5
1 parent a31c6d0
commit 705acc5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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