Andy Parkins <andyparkins@xxxxxxxxx> 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). - 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