Revert "We do not like "HEAD" as a new branch name"

diff --git a/refs.c b/refs.c
index 0d63c1fcab98f652a4ec89838c3f2641d3aa07e1..c33729c54a001423fb682cc920b72e5b1d03f8ea 100644 (file)
--- a/refs.c
+++ b/refs.c
@@ -347,11 +347,6 @@ int check_ref_format(const char *ref)
                if (!ch) {
                        if (level < 2)
                                return -1; /* at least of form "heads/blah" */
-
-                       /* do not allow ref name to end in "HEAD" */
-                       if (cp - ref > 4 && !strcmp(cp - 4, "HEAD"))
-                               return -1;
-
                        return 0;
                }
        }