2 ms·

Since this seems to be a network problem, it took down both their web servers and their git (ssh) endpoints.