The server is currently inaccessible. We are investigating the issue.
2016-01-18 15:20 UTC: The server is under a heavy DDoS attack. We are working with our upstream provider to restore the network connectivity ASAP.
2016-01-18 16:47 UTC: The attack is ongoing. The mitigation system has restored SSH connectivity, but HTTP connectivity is still severely impacted. We’ll update this post as soon as we have more information.
2016-01-18 17:17 UTC: HTTP connectivity has been restored, although some sites might still be slower due to ongoing DDOS mitigation. We’ll update this post as soon as we have more information.