guix/maintenance.git needs hard reset

Hello, We made a mistake on and we now need a hard reset on its ‘master’ branch. Since we cannot force-push nor delete ‘master’*, we need your help. Specifically, we need ‘master’ to point to the same commit as ‘master2’, right now commit

Re: guix/maintenance.git needs hard reset

On Sun, Jan 28, 2024 at 11:08 AM Ludovic Courtès wrote: > > * I think in the past we were able to force-push, no? FTR, Bob did this this morning and I believe this issue is now resolved.

[sr #110917] dead links on older email archive pages

Follow-up Comment #1, sr#110917 (group administration): [comment #0 original submission:] > ftp://lists.gnu.org/groff/, which does not appear to be active > (it times out every time I try to connect to it). As this is still happening over 5 months later, I presume the URL is permanently defunct.