On Thu, Jul 03, 2025 at 07:51:47AM +0000, Zbigniew Jędrzejewski-Szmek wrote: > On Wed, Jul 02, 2025 at 06:14:15PM -0700, Kevin Fenzi via devel-announce > wrote: > > If you are trying to use the new src.fedoraproject.org server, you may have > > noticed it's ssh host keys changed. In the past we kept the old keys > > but this time we made a clean break. You can verify the keys by getting: > > https://admin.fedoraproject.org/ssh_known_hosts and adding it to > > your local .ssh/known_hosts. This will allow ssh to see the new host > > keys are signed with our CA. You can also use our sshfp records > > if you are using a dnssec enabled resolver. > > I don't see any sshfp records for src.fedoraproject.org. > pkgs.fedoraproject.org and fedorapeople.org have some though.
Right... src.fedoraproject.org is the https/web frontend. You cannot ssh to it (especially since it's 2+ proxies). pkgs.fedoraproject.org is the ssh endpoint. kevin -- _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue