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 mekeel.debian.org
23 IdentityFile /srv/ftp-master.debian.org/s3kr1t/appstream.rsa
26 Hostname stabile.debian.org
28 IdentityFile /srv/ftp-master.debian.org/s3kr1t/push_morgue
31 Hostname coccia.debian.org
33 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd1
36 Hostname coccia.debian.org
38 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd2
41 Hostname coccia.debian.org
43 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_coccia_dak
45 Host external-security
46 Hostname seger.debian.org
48 IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_external_files