build.gnome.org: hardware issues

[Andrea Veri <av gnome org>]

Hi,

the machine that was currently hosting build.gnome.org went down the past thursday after an hardware problem, we're currently in touch with the manufacturer for having the relevant piece substituted as soon as possible.

As a note, the 'No Route to Host' during git pushes is expected and related to this issue. One of the hooks is failing to connect to the build machine, thus failing. This won't affect git pushes or any other git activity.

Please keep an eye at [1] for the next status updates. Thanks for your patience,

[1] https://status.gnome.org

--
Cheers,

Andrea

Debian Developer,
Fedora / EPEL packager,
GNOME Sysadmin,
GNOME Foundation Membership & Elections Committee Chairman

Homepage: http://www.gnome.org/~av