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

HEAD file location

From
Mmfine <eboats@gmail.com>
Date
Jan 24, 2012, 03:42 UTC
Message-ID
<loom.20120124T043119-263@post.gmane.org>
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.

Thanks for any help!
Next: Sitaram Chamarty
Message 1 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.