Hi, https://git.savannah.gnu.org seems to be up, but since today at around 8:00 AM UTC, I'm getting a timeout error when I try to connect.
$ curl -4 -v https://git.savannah.gnu.org/git/elpa/gnu.git * Host git.savannah.gnu.org:443 was resolved. * IPv6: (none) * IPv4: 209.51.188.168 * Trying 209.51.188.168:443... * connect to 209.51.188.168 port 443 from 192.168.1.17 port 52440 failed: Connection timed out * Failed to connect to git.savannah.gnu.org port 443 after 132636 ms: Could not connect to server * closing connection #0 curl: (28) Failed to connect to git.savannah.gnu.org port 443 after 132636 ms: Could not connect to server Best, Roi
