On Friday 2007 March 16 10:05, Junio C Hamano wrote: > 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 Interesting. So it's got a much reduced importance and sounds like it is mainly as guidance for cloners, etc. > 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). Me too; I don't think I've ever used it, which is where my confusion came from. Thanks for the help. Andy -- Dr Andy Parkins, M Eng (hons), MIET andyparkins@xxxxxxxxx - 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