From: Junio C Hamano <junkio@cox.net>
Date: Fri, 16 Mar 2007 10:05:02 GMT
Subject: Re: Question about bare repositories
Message-ID: <7vhcslv701.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <200703160947.03833.andyparkins@gmail.com>

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