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

From: Andreas Schwab <[email-masked]>
Date: Wed, 14 Apr 2021 14:03:44 +0200

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, [email-masked]
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."