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

Re: [Question] .git folder file updates for changing head commit

From
Andreas Schwab <schwab@linux-m68k.org>
Date
Mar 23, 2022, 21:28 UTC
Message-ID
<87wngkpddp.fsf@igel.home>
In-Reply-To
<6fa76f28-063b-8964-c0a2-642dae88f1b3@huawei.com>
On Mär 23 2022, John Garry wrote:
> For building the linux perf tool we use the git head commit id as part of
> the tool version sting. To save time in re-building, the Makefile rule has
> a dependency on .git/HEAD for rebuilding.

There is no guarantee that .git is a directory. In a separate worktree .git is actually a gitfile.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."
Previous: John GarryNext: John Garry
Message 8 of 9 in “[Question] .git folder file updates for changing head commit”
  1. John GarryMar 23, 2022
  2. Taylor BlauMar 23, 2022
  3. John GarryMar 24, 2022
  4. Ævar Arnfjörð BjarmasonMar 27, 2022
  5. John GarryMar 30, 2022
  6. Glen ChooMar 23, 2022
  7. John GarryMar 24, 2022
  8. Andreas SchwabMar 23, 2022
  9. John GarryMar 24, 2022

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.