diff options
author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-06-22 02:40:00 +0400 |
---|---|---|
committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-06-22 02:40:00 +0400 |
commit | ef0bfa25e99627b809c0902d21072821955db3fe (patch) | |
tree | 5760644db3f9cb044c99aa0f9ce4fc8d4eb76da1 /git-reset-script | |
parent | 6b38a402e97274037982a5346ca4168cc8ee026c (diff) |
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.
Diffstat (limited to 'git-reset-script')
-rwxr-xr-x | git-reset-script | 2 |
1 files changed, 2 insertions, 0 deletions
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" |