Hi Brett, Brett Gilio <bre...@posteo.net> writes: > Hydra seems to be (at least in part) working on my end. I noticed Berlin > went down, though, when I was tracking a bug.
Hydra.gnu.org has been offline since about 6 days ago, so there's no
way it could be working for you. However, mirror.hydra.gnu.org is a
different machine with an nginx cache that should still have some
popular substitutes that were served by Hydra when it was up.
Mark
