Re: `git fetch` not updating 'origin/HEAD' after branch rename

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 14, 2021, 21:12 UTC
Message-ID: <xmqqim4oy3hi.fsf@gitster.g>
In-Reply-To: <87pmyxjcnz.fsf@igel.home>

Andreas Schwab <schwab@linux-m68k.org> writes:

Show 7 quoted lines

> On Apr 14 2021, Ævar Arnfjörð Bjarmason wrote:
>
>> Nothing in git itself actually needs this remote HEAD past clone time,
>> and with 4f37d457065 (clone: respect remote unborn HEAD, 2021-02-05)
>> there'll be even less reason to pay attention to it.
>
> Isn't that what git rev-parse origin resolves to?

Correct.

And that is why refs/remotes/origin/HEAD is defined to point at the branch that the owner of LOCAL repository considers is of interest, which may not be the same as what the owner of the REMOTE repository thinks is the primary branch in their worldview.