On Tue, Jan 24, 2012 at 9:12 AM, mfine <eboats@xxxxxxxxx> wrote: > I'm working on a Git project and had a question about HEAD. > > In our remote Git repository, I see the file > > git_repo_home/HEAD > > and another file > > git_repo_home/refs/heads/HEAD > > The content of the former file is refs/heads/master which looks ok because > we want HEAD pointing at master. > > However, should the latter file exist? I had thought only branches > should exist in /refs/heads and HEAD isn't a branch right? I'm wondering > if we erroneously created a HEAD branch. Yes. Someone did something like 'git push origin HEAD:HEAD' -- 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