[Savannah-hackers-public] Git on Savannah not reachable.

[arnold]

Hi. It's approximately 6:30 a.m. Eastern time.  I'm getting:

$ git pull
fatal: unable to connect to git.savannah.gnu.org:
git.savannah.gnu.org[0: 209.51.188.201]: errno=No route to host

from hosts on both sides of the Atlantic.

Thanks,

Arnold