Merge branch 'jc/pull-signed-tag'
[git/git.git] / builtin / commit.c
index fca7ea0..cf14472 100644 (file)
@@ -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"));