looks like Savannah is down at the moment

[James]

Hello,

I saw master and staging were OoS and ran patchy but got this error:

--snip--

fatal: unable to connect to git.sv.gnu.org:
git.sv.gnu.org[0: 209.51.188.201]: errno=No route to host
git.sv.gnu.org[1: 2001:470:142:5::201]: errno=Network is unreachable

--snip--


James