Sorry folks, in an attempt to address the China mystery(*), I managed to kill y3 which hosts both git and www. I have pointed www to a different server, but we obviously can't do the same with Git. Work locally for now and it should be back soon. It is a holiday in the US so response time from our ops contact for this server is likely to be a bit slow.
(*) https://gist.github.com/anonymous/5651402 -Rasmus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
