We are aware of issues with this server. We are working to bring it back online as quickly as possible.
Update @ Monday Dec 30 18:48:47 UTC 2019 - This server has been been rebooted. Upon reboot a filesystem quota check started.
Update @ Monday Dec 30 19:06:00 UTC 2019 - This server is now up and available for use.