Can't push to haddock

Sven Panne svenpanne at
Tue Dec 19 10:56:20 UTC 2017

2017-12-19 11:07 GMT+01:00 Phyx <lonetiger at>:

> These are just a few of the times github has been down in 2017
> compared to http://
> [...]

I can't see any data for on that page, apart from the fact that
it is up right now. Furthermore, I very much question the data on According to it, Google, Facebook, YouTube, Yahoo! and
Amazon were down on March 25th for roughly an hour. A much more probable
explanation: had problems, not the five of the biggest
sites in the world. This undermines the trust in the rest of the outage
reports a bit...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list