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

Re: FETCH_HEAD files and mirrored repos

From
Konstantin Ryabitsev <konstantin@linuxfoundation.org>
Date
Jul 13, 2020, 20:00 UTC
Message-ID
<20200713200049.6a22nek4xckwtpt6@chatter.i7.local>
In-Reply-To
<xmqqk0z7nxs7.fsf@gitster.c.googlers.com>
On Mon, Jul 13, 2020 at 10:13:28AM -0700, Junio C Hamano wrote:
Show 11 quoted lines
> > Nah, really??? It's one of the benefits of git-fetch that it writes
> > FETCH_HEAD and the primary reason in many cases where I use the command!
> > So, either I don't care that FETCH_HEAD is written, or I do use it. IMO,
> > not wanting to write FETCH_HEAD is the odd case and would need a
> > configuration tweak, not the other way round.
> 
> Yeah, that's even easier to arrange.  
> 
> Just the "--[no-]write-fetch-head" command line option and the
> fetch.writeFetchHEAD configuration variable are introduced and left
> off by default forever.

Does it make sense to add logic for whether this is done in a bare repo? I can't imagine common cases where a FETCH_HEAD would be useful outside of a checkout where a merge is likely to happen.

-K
Previous: Junio C HamanoNext: Junio C Hamano
Message 13 of 19 in “FETCH_HEAD files and mirrored repos”
  1. Konstantin RyabitsevJul 11, 2020
  2. Junio C HamanoJul 11, 2020
  3. Konstantin RyabitsevJul 11, 2020
  4. Junio C HamanoJul 12, 2020
  5. Konstantin RyabitsevJul 12, 2020
  6. Junio C HamanoJul 12, 2020
  7. Konstantin RyabitsevJul 12, 2020
  8. Johannes SixtJul 13, 2020
  9. Junio C HamanoJul 13, 2020
  10. fetch: optionally allow disabling FETCH_HEAD updateJunio C Hamano, Jul 13, 2020
  11. Taylor BlauJul 13, 2020
  12. Junio C HamanoJul 13, 2020
  13. Konstantin RyabitsevJul 13, 2020
  14. Junio C HamanoJul 13, 2020
  15. Jeff KingJul 13, 2020
  16. Konstantin RyabitsevJul 13, 2020
  17. Jeff KingJul 13, 2020
  18. Johannes SixtJul 13, 2020
  19. Jonathan NiederJul 14, 2020

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.