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

From: Andreas Schwab <schwab@linux-m68k.org>
Date: Apr 13, 2021, 21:09 UTC
Message-ID: <87pmyxc2n3.fsf@igel.home>
In-Reply-To: <xmqqlf9lly3d.fsf@gitster.g>

On Apr 13 2021, Junio C Hamano wrote:

Show 5 quoted lines

> 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."