Re: Question about bare repositories

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

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.

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