Re: guix/maintenance.git needs hard reset

Hello, Corwin Brust writes: > 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. Thank you! -- Maxim

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.

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