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

From: P Rouleau <prouleau72@gmail.com>
Date: Oct 14, 2011, 23:00 UTC
Message-ID: <loom.20111015T004856-72@post.gmane.org>
In-Reply-To: <1318591877.2938.20.camel@mastroc3.mobc3.local>

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

Show 14 quoted lines

> 
> 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