development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-10-02 14:45:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse source 
This reverts ee34518d62 commit.
This commit is contained in:
Junio C Hamano 2005-12-16 23:48:22 -08:00
parent 8872f27b87
commit f7087e2e7c
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
refs.c
View file

@ -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;
}
}