From: Andy Parkins <andyparkins@gmail.com>
Date: Fri, 16 Mar 2007 11:52:35 GMT
Subject: Re: Question about bare repositories
Message-ID: <200703161152.37485.andyparkins@gmail.com>
In-Reply-To: <7vhcslv701.fsf@assigned-by-dhcp.cox.net>

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.

> using shorthand arranged in the config nor $GIT_DIR/remotes/)
> defaults to fetching and merging HEAD from there, for example (I
> say "I think" because it's been a while I did so myself, and we
> might have broken it during the 1.5.0 process, which had a lot
> of work in that area).

Me too; I don't think I've ever used it, which is where my confusion came 
from.

Thanks for the help.


Andy
-- 
Dr Andy Parkins, M Eng (hons), MIET
andyparkins@gmail.com