Junio C Hamano said the following on 24.02.2009 18:01:
Ted Pavlic <ted@xxxxxxxxxxxxx> 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.
Junio, unfortunately you applied the incorrect version.
It was v3 (Message-Id:
<1235244057-16912-1-git-send-email-git@xxxxxxxxxxxxxxx>) which was the
correct one, since it's the one that avoids the "GIT_DIR!" in a bare
repo. :-/
--
.marius
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
