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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html