From: Andreas Schwab <schwab@linux-m68k.org>
Date: Tue, 13 Apr 2021 21:09:52 GMT
Subject: Re: `git fetch` not updating 'origin/HEAD' after branch rename
Message-ID: <87pmyxc2n3.fsf@igel.home>
In-Reply-To: <xmqqlf9lly3d.fsf@gitster.g>

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, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."