Resources for Debian developers
Is there a way to connect to Debian servers if the SSH port is firewalled?
The machine people.debian.org (currently gluck.debian.org) runs a SSH server on port 443 (usually the "https" port). If your firewall gives you access to this port (or if a proxy does it for you), then you can connect to your account. If you plan to use this access to connect to other Debian hosts, please don't run an ssh-agent on gluck and don't put your private SSH keys over there. Instead you're strongly advised to customize your ~/.ssh/config file and create special entries to connect to other Debian machines.
With the sample config below, you can do "ssh master.overgluck" to connect to master.debian.org via gluck's SSH server running on port 443. Add any other Debian hosts that you plan to connect to.
Host master.overgluck merkel.overgluck # list all the hosts you need here
ProxyCommand ssh -q -a -p 443 -x gluck.debian.org 'nc -w1 $(basename %h .overgluck) 22'
ForwardAgent no
ForwardX11 no(Reference: RT ticket [https://rt.debian.org/Ticket/Display.html?id=69 #69])