For those behind firewalls who block outbound SSH connections, we have now added a workaround for you.
The SSH daemon for pushing Git repositories also now listens on port 443, however we use that port for other things (https traffic) on our main IP, we’ve added ssh.gitorious.org who listens on port 443.
By adding this to your ~/.ssh/config:
Host gitorious.org Hostname ssh.gitorious.org Port 443
you don’t have to remember to change email@example.com to firstname.lastname@example.org whenever you copy the push url from the website.
If you’re behind an even stricter firewall you’ll have to setup something like Corkscrew, Tor Arne kindly provides an example config in this mailing list thread. As always, contact email@example.com if you run into any issues.