From: Junio C Hamano Date: Mon, 14 Nov 2011 20:22:59 GMT Subject: Re: Git shouldn't allow to push a new branch called HEAD Message-ID: <7vbosejvx8.fsf@alter.siamese.dyndns.org> In-Reply-To: <20111114111659.GC10847@sigill.intra.peff.net> Jeff King writes: > So one solution is to block fetching of remote branches called HEAD > (which I would be OK with). But another is... > ... Obviously there's a lot more to it than just tweaking the default fetch > refspecs. The ref lookup rules need to be changed to take this into > account. There was some discussion about this over the summer (under the > subject of possible "1.8.0" changes), but I don't think any work has > been done. I would say discussing and ironing out the kinks of the design counts as work, but I agree nobody was seriously interested in laying out a sensible transition plan and discussion died out before anything concrete happened. Regardless of the layout chanage, which probably is a 2.X topic, I think a good first step would be to start forbidding anything that ends with _?HEAD as a branch or tag name, on top of Michael's "enforce the refname rules more vigorously when a ref is created" series.