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.)
