[Savannah-hackers] SSH host key changed?

[Simon Josefsson]

If the SSH host key has really changed, I think it would be good to
announce it somewhere.  Is there a PGP signed announcement channel
from the savannah system hackers?  I think there should be one.

FWIW, the ssh host key appear to have changed from my point of view
within the latest 24 hours.

address@hidden:~/src/shishi$ cvs upd
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
Someone could be eavesdropping on you right now (man-in-the-middle attack)!
It is also possible that the RSA1 host key has just been changed.
The fingerprint for the RSA1 key sent by the remote host is
bb:04:5c:4b:0f:c5:c0:7c:5d:cf:d7:c2:bf:59:1a:dc.
Please contact your system administrator.
Add correct host key in /home/jas/.ssh/known_hosts to get rid of this message.
Offending key in /home/jas/.ssh/known_hosts:24
RSA1 host key for subversions.gnu.org has changed and you have requested strict 
checking.
Host key verification failed.
cvs [update aborted]: end of file from server (consult above messages if any)
address@hidden:~/src/shishi$