Re: Question about bare repositories

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mar 16, 2007, 12:24 UTC
Message-ID: <Pine.LNX.4.63.0703161323530.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <200703161152.37485.andyparkins@gmail.com>

Hi,

On Fri, 16 Mar 2007, Andy Parkins wrote:

Show 9 quoted lines

> 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