Merge branch 'jc/pull-signed-tag'

diff --git a/builtin/commit.c b/builtin/commit.c
index fca7ea01f3369b6c7df0796ec4b6142472e46904..cf1447204fbec4979972130432b50107524eac39 100644 (file)
--- a/builtin/commit.c
+++ b/builtin/commit.c
@@ -1519,6 +1519,7 @@ int cmd_commit(int argc, const char **argv, const char *prefix)
        }
 
        unlink(git_path("CHERRY_PICK_HEAD"));
+       unlink(git_path("REVERT_HEAD"));
        unlink(git_path("MERGE_HEAD"));
        unlink(git_path("MERGE_MSG"));
        unlink(git_path("MERGE_MODE"));