master.gnome.org updated its SSH host keys

[Andrea Veri <av gnome org>]

Hi,

master.gnome.org was recently rebuilt and old SSH host keys were deprecated. The next time you attempt to log in you'll be warned host keys have effectively changed, please make sure to remove former keys under .ssh/known_hosts and retry. SSHFP records have been updated accordingly. Please get in touch if anything doesn't work the way it should.

Thanks,

--

Cheers,

Andrea

Principal Systems Engineer at Red Hat,

GNOME Infrastructure Team Coordinator,

Former GNOME Foundation Board of Directors Secretary,

GNOME Foundation Membership & Elections Committee Chairman

Homepage: https://www.dragonsreach.it