From: Sitaram Chamarty <sitaramc@gmail.com>
Date: Tue, 24 Jan 2012 03:52:09 GMT
Subject: Re: HEAD file location
Message-ID: <CAMK1S_jJUJvEz-OY0cMz1LFDSd71zuWhnSfYbg_sVi5DO-JJOQ@mail.gmail.com>
In-Reply-To: <loom.20120124T043119-263@post.gmane.org>

On Tue, Jan 24, 2012 at 9:12 AM, mfine <eboats@gmail.com> 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'