Hello, We made a mistake on <https://git.savannah.gnu.org/cgit/guix/maintenance.git/> 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 95efc0938d81de3165a98f0345dcc16c390a4e5d. Please let us know when you can proceed. Thanks in advance and apologies for the extra work! Ludo’. * I think in the past we were able to force-push, no?
signature.asc
Description: PGP signature
