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

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

From
JGJohn Garry <john.garry@huawei.com>
Date
Mar 23, 2022, 15:19 UTC
Message-ID
<6fa76f28-063b-8964-c0a2-642dae88f1b3@huawei.com>
Hi guys,

I have a question about which files in the .git folder are updated as we change the head commit. I could check the codebase myself but prob will make a mistake and maybe some expert would be so kind as to just kindly tell me.

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. An alternative approach would be to compare git log output to check current versus previous build head commit, but that is seen as inefficient time-wise.

The problem is that actions like git cherry-pick and git reset --hard HEAD^ may not update .git/HEAD (so don't trigger a rebuild).

Is there some more suitable file(s) which we could use as a dependency? 
 From my limited experimentation, .git/index seems to always update when 
the changing head commit.

Thanks, john

Next: Taylor Blau
Message 1 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.