Hey guys,
The new server is on AWS at the following address:
I may move it to port 80 at some point, but for now this works. The reason for the move is that the server that the github mirror was on was also host to Jenkins. That machine has proven itself to be somewhat unreliable so I have moved these services into the cloud.
Thanks, GC
--