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