We need to allocate some more disk capacity on the servers today, which requires a reboot of the gitorious.org server. This means the servers will be unavailable from 15:00 CET, they should be online about 20 minutes after that.
We will post an update as soon as the servers are available again.
Edit: We’re back up again now
2 Comments
The SSH-through-a-company’s-HTTP-proxy trick for pushing changes to port 443 on ssh.gitorious.org has stopped working for me suddenly (between March 4 and 5, US Eastern time) . Could this be related to the above downtime?
http://blog.gitorious.org/2009/10/20/stuck-behind-a-firewall/
@Sid: The ssh service was not restarted after the server was rebooted. Our service provider has started it manually and taken steps to ensure it starts automatically at next reboot.