We are aware that there are issues affecting this server. We are working to get them resolved.
Update @Tue Aug 7 14:22:29 MDT 2018: The server suffered a load spike, it was rebooted to restore service. Upon reboot a manual filesystem check was ran. The server is now up and available.
