Martin B?hr wrote:
HEAD is name for the current active, checked out commit. it is not a branch. if you switch branches, then your HEAD changes. (see git reflog for where HEAD has been) there should not actually be a branch with that name, i wonder what happened here. stephen?
I think that this is cosmetic wart in the git cloning code. Actually the repository you're cloning from has a checked out source tree here. A real official repository should probably be "bare" (git-speak), and not have a checked out source tree.
For all intents and purposes this works the same as cloning from a bare repository, you should just get a "fake" branch called HEAD, along with the branches BuGless and debian-be which are my personal development branches; just ignore the "extra" branches, and you'll be fine.
With respect to the current "master" branch... It's debatable, I left it in as a convenience for someone unfamiliar with the repository layout/branches, this way he'll get the bleading-edge development branch by default, if he clones the repository. "master" is an alias for 7.7 at the moment, that'll change to 7.9 after the split.