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