[Wikimedia-l] Fwd: [Wikimania-l] git.wikimedia.org dead due to wikimania ; )

[Federico Leva (Nemo)]

Huib Laurens, 10/08/2013 17:31:
> I always believed that our servers where monitored 24/7?

Not magically, despite the amount of unicorns bought by the WMF. You're 
looking for https://bugzilla.wikimedia.org/show_bug.cgi?id=51983

> But nobody seems
> to be arround to fix a core part in our systems?

No development is really prevented by gitblit being down; business as 
usual continues on gerrit.wikimedia.org and this additional reliability 
is actually what they wanted to achieve by moving gitblit (formerly 
gitweb) to a separate server.

Nemo