git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: HEAD file location

From
Sitaram Chamarty <sitaramc@gmail.com>
Date
Jan 24, 2012, 03:52 UTC
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:
Show 16 quoted lines
> 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'
Previous: mfine
Message 2 of 2 in “HEAD file location”
  1. mfineJan 24, 2012
  2. Sitaram ChamartyJan 24, 2012

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.