force=1
;;
*)
- rev=$(git-rev-parse "$arg")
+ rev=$(git-rev-parse --verify --revs-only "$arg")
if [ -z "$rev" ]; then
echo "unknown flag $arg"
exit 1
exit 1
fi
new="$rev"
- if [ -f "$GIT_DIR/revs/heads/$arg" ]; then
+ if [ -f "$GIT_DIR/refs/heads/$arg" ]; then
branch="$arg"
fi
;;
git-checkout-cache -q -f -u -a
else
git-read-tree -m -u $old $new
-fi && [ "$branch" ] && ln -sf "refs/heads/$branch" "$GIT_DIR/HEAD"
+fi
+
+#
+# Switch the HEAD pointer to the new branch if it we
+# checked out a branch head, and remove any potential
+# old MERGE_HEAD's (subsequent commits will clearly not
+# be based on them, since we re-set the index)
+#
+if [ "$?" -eq 0 ]; then
+ [ "$branch" ] && ln -sf "refs/heads/$branch" "$GIT_DIR/HEAD"
+ rm -f "$GIT_DIR/MERGE_HEAD"
+fi