[Savannah-hackers-public] savannah.nongnu.org website not working

[Alex Fernandez]

Hi,

The Savannah website (either the .nongnu.org or the .gnu.org accesses)
is not working. The machine savannah.nongnu.org is however responding
to pings:
colonialone:~# ping savannah.nongnu.org
PING savannah.nongnu.org (140.186.70.71) 56(84) bytes of data.
64 bytes from savannah.nongnu.org (140.186.70.71): icmp_seq=1 ttl=64
time=0.054 ms

I tried to ssh from colonialone, but got the scary "key has changed" message:

colonialone:~# ssh savannah.nongnu.org
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@       WARNING: POSSIBLE DNS SPOOFING DETECTED!          @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
The RSA host key for savannah.nongnu.org has changed,
and the key for the corresponding IP address 140.186.70.71
is unknown. This could either mean that
DNS SPOOFING is happening or the IP address for the host
and its host key have changed at the same time.
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@    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 RSA host key has just been changed.
The fingerprint for the RSA key sent by the remote host is
0d:5a:bd:c0:a4:4f:af:99:ac:85:75:9e:fe:02:9e:9c.
Please contact your system administrator.
Add correct host key in /root/.ssh/known_hosts to get rid of this message.
Offending key in /root/.ssh/known_hosts:3
RSA host key for savannah.nongnu.org has changed and you have
requested strict checking.
Host key verification failed.

Probably it's just an updated key but I thought I should post it here.

Thanks,

Alex.