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

Re: Is origin/HEAD only being created on clone a bug? #leftoverbits

From
Junio C Hamano <gitster@pobox.com>
Date
May 30, 2018, 02:46 UTC
Message-ID
<xmqqbmcxg8sn.fsf@gitster-ct.c.googlers.com>
In-Reply-To
<xmqqo9gyey13.fsf@gitster-ct.c.googlers.com>
Junio C Hamano <gitster@pobox.com> writes:
Show 10 quoted lines
>  - When we fetch from a remote that has refs/remotes/$name/HEAD, and
>    if the protocol notices that their HEAD today is pointing to a
>    branch different from what our side has, should we repoint ours
>    to match?  
>
>    I am leaning against doing this, but mostly out of superstition.
> ...
>    interested in".  But once fetch starts messing with where
>    origin/HEAD points at, that would no longer be the case, which is
>    why I am against doing something magical like that.

Well, I shouldn't say "I am against" on the last line; rather, "I feel uneasy".

Previous: Junio C HamanoNext: Jeff King
Message 4 of 7 in “Is origin/HEAD only being created on clone a bug? #leftoverbits”
  1. Ævar Arnfjörð BjarmasonMay 29, 2018
  2. Brandon WilliamsMay 29, 2018
  3. Junio C HamanoMay 30, 2018
  4. Junio C HamanoMay 30, 2018
  5. Jeff KingJun 1, 2018
  6. Ævar Arnfjörð BjarmasonMay 31, 2018
  7. Junio C HamanoJun 1, 2018

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.