From: Andreas Schwab Date: Wed, 14 Apr 2021 12:03:44 GMT Subject: Re: `git fetch` not updating 'origin/HEAD' after branch rename Message-ID: <87pmyxjcnz.fsf@igel.home> In-Reply-To: <87sg3t16ec.fsf@evledraar.gmail.com> 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."