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