guix/maintenance.git needs hard reset

[Ludovic Courtès]

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 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

Re: guix/maintenance.git needs hard reset

[Corwin Brust]

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

[Dave]

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.


___

Reply to this item at:

  

___
Message sent via Savannah
https://savannah.nongnu.org/