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

From: Andreas Schwab <[email-masked]>
Date: Tue, 13 Apr 2021 23:09:52 +0200

On Apr 13 2021, Junio C Hamano wrote:

> It may also be
> possible to add "git fetch --reset-remote-tracking-HEAD" option to
> make "fetch" overwrite existing origin/HEAD but somebody has to
> propose such a change, argue for its benefit and get it accepted by
> the community.

Isn't that what git remote set-head origin -a does?

Andreas.

-- 
Andreas Schwab, [email-masked]
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."