SSH known hosts Infrastructure SOP
Provides Known Hosts file that is globally deployed and publicly available at https://admin.fedoraproject.org/ssh_known_hosts
Fedora Infrastructure Team
#fedora-admin, sysadmin group
Provides Known Hosts file that is globally deployed.
If you need to add a host alias to a host in ssh_known_hosts simply go to the dir for the host in infra-hosts and add a file named host_aliases to the git repo in that dir. Put one alias per line and save.
Then the next time fetch-ssh-keys runs it will add those aliases to known hosts.