From: P Rouleau <prouleau72@gmail.com>
Date: Fri, 14 Oct 2011 23:00:04 GMT
Subject: Re: Git shouldn't allow to push a new branch called HEAD
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:

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