diff --git a/git-merge.sh b/git-merge.sh
index ce66524340322ba02666c5f68bee1a1ec4a8d4ad..c2092a204035ad0315a3d37ed2f70097e68ed052 100755 (executable)
--- a/git-merge.sh
+++ b/git-merge.sh
;;
*)
git update-ref -m "$rlogm" HEAD "$1" "$head" || exit 1
+ git gc --auto
;;
esac
;;
fi
;;
esac
+
+ # Run a post-merge hook
+ if test -x "$GIT_DIR"/hooks/post-merge
+ then
+ case "$squash" in
+ t)
+ "$GIT_DIR"/hooks/post-merge 1
+ ;;
+ '')
+ "$GIT_DIR"/hooks/post-merge 0
+ ;;
+ esac
+ fi
}
merge_name () {