[Savannah-hackers-public] git and https URLs not working

[Arnold Robbins]

Hi.

I'm having trouble pulling from Savannah:

=== groff
fatal: unable to access 'https://git.savannah.gnu.org/git/groff.git/': Failed 
to connect to git.savannah.gnu.org port 443: Connection timed out
=== sed
warning: expected SRV RR, found RR type 1
fatal: unable to connect to git.savannah.gnu.org:
git.savannah.gnu.org[0: 11.11.11.11]: errno=Connection timed out
git.savannah.gnu.org[1: 11.11.11.11]: errno=Connection timed out

But I'm able to push to my repo using an ssh URL.

Is this related to the IP provider change I saw an email about a week
or so ago?

Thanks,

Arnold
(Heading to bed, will see replies in the morning my time.)