Re: Question about bare repositories

From: Andy Parkins <andyparkins@gmail.com>
Date: Mar 16, 2007, 11:52 UTC
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:

Show 5 quoted lines

> 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.

Show 5 quoted lines

> 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