We should drop that from dns. [...] Anyhow, the ssh access SOP should be updated with all this info.
I looked for the SOP and found this: https://docs.fedoraproject.org/en-US/infra/sysadmin_guide/sshaccess/ It still mentions bastion-iad01. Am I on the wrong docs? It looks like the right place.
I also stumbled upon https://fedora-infra-docs.readthedocs.io/ in my bookmarks and it's been squatted. It's built from https://github.com/primitivea/fedora-infra-docs, but that's a different issue altogether.
Aurélien