6 Hostname bugs-master.debian.org
8 IdentityFile /srv/ftp-master.debian.org/s3kr1t/id_debbugs-vt
11 StrictHostKeyChecking yes
12 PasswordAuthentication no
16 Hostname i18n.debian.net
18 IdentityFile /srv/ftp-master.debian.org/s3kr1t/ddtp-dak.rsa
21 StrictHostKeyChecking yes
22 PasswordAuthentication no
26 Hostname stabile.debian.org
28 IdentityFile /srv/ftp-master.debian.org/s3kr1t/push_morgue
31 StrictHostKeyChecking yes
32 PasswordAuthentication no
36 Hostname ries.debian.org
38 IdentityFile /home/dak/.ssh/id_franck
41 StrictHostKeyChecking yes
42 PasswordAuthentication no
45 Host external-security
46 Hostname chopin.debian.org
48 IdentityFile /home/dak/.ssh/push_external_files
51 StrictHostKeyChecking yes
52 PasswordAuthentication no