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
Jun 1, 2018, 01:32 UTC
Message-ID
<xmqqd0xbb8bn.fsf@gitster-ct.c.googlers.com>
In-Reply-To
<87bmcw9sqc.fsf@evledraar.gmail.com>
Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
> We already have to deal with this special case of origin/HEAD
> being re-pointed in a repository that we "clone", so we would just
> do whatever happens to a repository that's cloned.

OK. Not visiting that issue while we discuss this "origin/HEAD is useful, so create it even for non-initial-clone case" topic makes it simpler to discuss.

Previous: Ævar Arnfjörð Bjarmason
Message 7 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.