[Savannah-hackers-public] can't get to git.sv.gnu.org

[Aharon Robbins]

Hi. It's approximately 15:30 east coast time and git.sv.gnu.org isn't
answering pings or letting in ssh for git push...

Thanks,

Arnold