aboutsummaryrefslogtreecommitdiff
path: root/branch.c
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2011-11-22 18:22:08 -0800
committerJunio C Hamano <gitster@pobox.com>2011-11-22 18:22:08 -0800
commit9fd389b65002e0e23deb2c7328360f246afec0d4 (patch)
tree6f18d8e46376adb637fddb8fca407c54021365bc /branch.c
parente14d63198867c545d0662afc00bf7be048bf2231 (diff)
parentc427b211b3f5d3f967e5fc7abd526b02f83a7246 (diff)
downloadgit-9fd389b65002e0e23deb2c7328360f246afec0d4.tar.gz
git-9fd389b65002e0e23deb2c7328360f246afec0d4.tar.xz
Merge branch 'jn/revert-quit'
* jn/revert-quit: revert: remove --reset compatibility option revert: introduce --abort to cancel a failed cherry-pick revert: write REVERT_HEAD pseudoref during conflicted revert revert: improve error message for cherry-pick during cherry-pick revert: rearrange pick_revisions() for clarity revert: rename --reset option to --quit
Diffstat (limited to 'branch.c')
-rw-r--r--branch.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/branch.c b/branch.c
index d8098762f..025a97be0 100644
--- a/branch.c
+++ b/branch.c
@@ -241,6 +241,7 @@ void create_branch(const char *head,
void remove_branch_state(void)
{
unlink(git_path("CHERRY_PICK_HEAD"));
+ unlink(git_path("REVERT_HEAD"));
unlink(git_path("MERGE_HEAD"));
unlink(git_path("MERGE_RR"));
unlink(git_path("MERGE_MSG"));