Re: Git shouldn't allow to push a new branch called HEAD

Daniele Segato <daniele.segato <at> gmail.com> writes:

Hi all,

following from a discussion in IRC freenode #git between me, sitaram an
shruggar

step to reproduce:

$ # time to create the remote HEAD branch
$ cd buggenerator/
$ git push origin HEAD:HEAD

But I think that git shouldn't allow the remote HEAD reference to be
created in the first place

Maybe git should also refuse to create a local branch named HEAD. I made a
mistake recently where I used something likes this:

for B in $(git branch -a|grep "remotes/origin/"); do git co -t $B ; done

After that, git st was giving a warning about an ambiguous HEAD ref. Hopefully,
a simple "git branch -d HEAD" fixed it once I found the problem.

P.Rouleau