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

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?

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."