Re: guix/maintenance.git needs hard reset

[Corwin Brust]

On Sun, Jan 28, 2024 at 11:08 AM Ludovic Courtès <l...@gnu.org> 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.