Resources for Debian developers
How can I protect my @debian.org address from spam ?
Is there a way to connect to Debian servers if the SSH port is firewalled?
The machine ssh.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 the server 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.
Direct access to external machines via port 443 allowed
With the sample config below, you can do "ssh master.over443" to connect to master.debian.org via Debian's SSH server running on port 443.
Host ssh.debian.org Port 443 ForwardAgent no ForwardX11 no User <your_debian_login> IdentityFile <path to your private SSH key> Host *.over443 User <your_debian_login> IdentityFile <path to your private SSH key> ProxyCommand ssh -q ssh.debian.org -W $(basename %h .over443):%p ForwardAgent no ForwardX11 no
Direct access forbidden, going through a proxy
If you have to go through an https proxy, you can install the connect-proxy package and use something like this in your ~/.ssh/config:
Host ssh.debian.org ProxyCommand connect-proxy -H <proxy>:<port> ssh.debian.org 443 ForwardAgent no ForwardX11 no Host *.over443 ProxyCommand ssh -q ssh.debian.org -W $(basename %h .over443):%p ForwardAgent no ForwardX11 no
(Reference: RT ticket #69)