The gitorious.org server suddenly stopped responding, and is being restarted. We will post updates here once the server is back up.
Update 13:12 CET: File system checks are being run on the server, currently at 70%
Update 13:28 CET: File systems checks are currently at 90%
Update: 13:32 CET: And we’re back up