From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 24 Feb 2009 17:01:56 GMT
Subject: Re: [PATCH] Add bare repository indicator for __git_ps1
Message-ID: <7vljrvixa3.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <49A414B8.8010906@tedpavlic.com>

Ted Pavlic <ted@tedpavlic.com> writes:

>>> Keep in mind that "BARE:master" doesn't make much sense. If you're
>>
>> It reflects what HEAD points to in the bare repository.
>
> Obviously, but that seems disingenuous when you're inside the git
> dir. "HEAD" is supposed to reflect the name of the currently
> checked-out branch, and so it is tied to a working directory. I'm not
> sure why it's useful to show $GIT_DIR/HEAD in PS1 while inside .git as
> it invites operations that probably should not be done while within
> the bare repo.

It still indicates the branch in interest.  That's the one you get a
checkout for when you clone from the repository.