We have restored service, but we are currently having issues with IPv6 connectivity (so down to #GitHub service levels only).
We will fix this as soon as possible.
The good news: Since we recently improved our Ceph setup, recovery of the service was much quicker than before, because the server could immediately reconnect to the three server ring.