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

Andreas Schwab [off-list ref] writes:

On Apr 14 2021, Ævar Arnfjörð Bjarmason wrote:

quoted

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.