unread
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