6 StrictHostKeyChecking yes
7 PasswordAuthentication no
11 Hostname bugs-master.debian.org
13 IdentityFile /srv/ftp-master.debian.org/s3kr1t/id_debbugs-vt
16 Hostname i18n.debian.net
18 IdentityFile /srv/ftp-master.debian.org/s3kr1t/ddtp-dak.rsa
21 Hostname stabile.debian.org
23 IdentityFile /srv/ftp-master.debian.org/s3kr1t/push_morgue
26 Hostname coccia.debian.org
28 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd1
31 Hostname coccia.debian.org
33 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd2
36 Hostname coccia.debian.org
38 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_coccia_dak
40 Host external-security
41 Hostname chopin.debian.org
43 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_external_files