Hi,

On Fri, 16 Mar 2007, Andy Parkins wrote:

quoted text
> On Friday 2007 March 16 10:05, Junio C Hamano wrote:
> > Andy Parkins <andyparkins@gmail.com> 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@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html