Cool, then let's turn to media reports then such as <a href="https://techcrunch.com/2017/07/31/github-goes-down-and-takes-developer-productivity-with-it/">https://techcrunch.com/2017/07/31/github-goes-down-and-takes-developer-productivity-with-it/</a> do you have one for <a href="http://git.haskell.org">git.haskell.org</a> going down? <br><br><div class="gmail_quote"><div dir="ltr">On Tue, Dec 19, 2017, 10:56 Sven Panne <<a href="mailto:svenpanne@gmail.com">svenpanne@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2017-12-19 11:07 GMT+01:00 Phyx <span dir="ltr"><<a href="mailto:lonetiger@gmail.com" target="_blank">lonetiger@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>These are just a few of the times github has been down in 2017 <a href="http://currentlydown.com/github.com" target="_blank">http://currentlydown.com/github.com</a> compared to <a href="http://haskell.org" target="_blank">haskell.org</a> <a href="http://currentlydown.com/haskell.org" target="_blank">http://currentlydown.com/haskell.org</a> [...]</div></blockquote><div><br></div><div>I can't see any data for <a href="http://haskell.org" target="_blank">haskell.org</a> on that page, apart from the fact that it is up right now. Furthermore, I very much question the data on <a href="http://currentlydown.com" target="_blank">currentlydown.com</a>: According to it, Google, Facebook, YouTube, Yahoo! and Amazon were down on March 25th for roughly an hour. A much more probable explanation: <a href="http://currentlydown.com" target="_blank">currentlydown.com</a> 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...</div></div></div></div>
</blockquote></div>