On Jun 15 2020, Segher Boessenkool wrote: > $ git push fsf :refs/users/segher/heads/cc0
or git push --delete fsf refs/users/segher/heads/cc0 Andreas. -- Andreas Schwab, [email protected] GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
