Re: Question about bare repositories

Hi,

On Fri, 16 Mar 2007, Andy Parkins wrote:

On Friday 2007 March 16 10:05, Junio C Hamano wrote:

quoted

Andy Parkins [off-list ref] writes:

quoted

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