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 ries.debian.org
28 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd1
31 Hostname ries.debian.org
33 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd2
35 Host external-security
36 Hostname chopin.debian.org
38 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_external_files