From ef0bfa25e99627b809c0902d21072821955db3fe Mon Sep 17 00:00:00 2001
From: Linus Torvalds <torvalds@ppc970.osdl.org>
Date: Tue, 21 Jun 2005 15:40:00 -0700
Subject: [PATCH] Remove MERGE_HEAD in "git checkout/reset"

Both of these scripts will end up resetting the index to some specific
head, and any unresolved merge will be forgotten.
---
 git-checkout-script | 13 ++++++++++++-
 git-reset-script    |  2 ++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/git-checkout-script b/git-checkout-script
index 5b49662e62..870b1a3ef9 100755
--- a/git-checkout-script
+++ b/git-checkout-script
@@ -37,4 +37,15 @@ then
 	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
diff --git a/git-reset-script b/git-reset-script
index eaefd00d9d..fe773388c9 100755
--- a/git-reset-script
+++ b/git-reset-script
@@ -1,3 +1,5 @@
 #!/bin/sh
+: ${GIT_DIR=.git}
 git-read-tree --reset HEAD
 git-update-cache --refresh
+rm -f "$GIT_DIR/MERGE_HEAD"
-- 
2.11.4.GIT