On 5 July 2016 at 10:26, Daniel García Moreno <danigm@gmail.com> wrote:
It's a known down for maintenance? someone know when it'll go up again?
I have confirmed that the server is down (and all its associated services). It is not a planned downtime and have contacted our hosting company to try to determine what is the root cause of the error.
In the meantime, I have asked our mirror admins to change the DNS records and point to an alternate official server.