Hi, On Fri, 16 Mar 2007, Andy Parkins wrote: > On Friday 2007 March 16 10:05, Junio C Hamano wrote: > > Andy Parkins <andyparkins@xxxxxxxxx> writes: > > > Why does a bare repository have/need a HEAD? > > > > To mark which branch the repository owner considers the primary > > branch of the repository. I think "git pull $URL" (i.e. without > > Interesting. So it's got a much reduced importance and sounds like it > is mainly as guidance for cloners, etc. It's as much a guidance for cloners, as it is for Git in non-bare repos to know which branch gets updated upon commit. HEAD was never more than a pointer to one (the "current") branch. Ciao, Dscho - 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