Tobias Geerinckx-Rice 写道:
Thanks! Sadly, it's been like that for about a week now. You
can use
https://bugs.gnu.org/ until it returns.
[…]
The bad news is that we have to wait for a physical human to
plug in a
physical cable, and no such humans are physically available
(summer
etc.).
Hi Andy,
Andy Tai 写道:
502 Bad Gateway
Thanks! Sadly, it's been like that for about a week now. You can
use https://bugs.gnu.org/ until it returns.
We are unable to SSH into berlin to fix this. Luckily, the other
vital berlin services (Web site, CI, …) are still up and running.
The
https://issues.guix.gnu.org/
is showing
502 Bad Gateway