Just a heads up about bastion changes with today's outage:
bastion03 is currently the primary vpn hub as well as the default when
you go to 'bastion.fedoraproject.org'. This used to be bastion02 before
today, so you will note that ssh host key fingerprints have changed
since this cutover.
bastion01 has been retired.
bastion02 will be retired in favor of bastion04 sometime in the next
infrastructure mailing list