[savannah-help-public] Fwd: git.sv.gnu.org ssh host key

[ayleph]

I'm not sure if I sent the below report to the correct place originally,
and I'm afraid it may be stuck in a queue since I'm not subscribed to
that list. I apologize if you receive this report multiple times. It
appears that git.sv.gnu.org is now providing an ED25519 host key where
it was previously providing an RSA key. Could someone verify whether
this is correct, and if so, please update the documentation accordingly?

Thank you,

ayleph


-------- Forwarded Message --------
Subject: git.sv.gnu.org ssh host key
Date: Sun, 12 Feb 2017 18:43:09 -0800
From: ayleph <address@hidden>
To: address@hidden

Greetings Savannah Users,

When trying to pull from a git repo hosted at git.sv.gnu.org, I receive
a message that the host key has changed. If this is a legitimate change,
can someone update the "Verifying host fingerpints" section on the
SshAccess page below with the new key?

https://savannah.gnu.org/maintenance/SshAccess/

Regards,

-- 
ayleph