[Savannah-hackers-public] Savannah offline?

[Aharon Robbins]

Hi.

I get no reply from pings to savannah.gnu.org and I'm getting connection
timeouts trying to push to git.sv.gnu.org.

Have the machines gone off into an alternate reality again?

Thanks,

Arnold