On my machine, "git fetch" no longer works and the problem looks to be
that the git port is firewalled:
$ git fetch
fatal: unable to connect to trac.sagemath.org:
trac.sagemath.org[0: 128.208.160.253]: errno=Connection timed out
$ strace git fetch
[...]
connect(34, {sa_family=AF_INET, sin_port=htons(9418),
sin_addr=inet_addr("128.208.160.253")}, 16) = -1 ETIMEDOUT (Connection
timed out)
[...]
$ nmap -PS80 -p22,80,9418 trac.sagemath.org
Starting Nmap 6.25 ( http://nmap.org ) at 2015-07-23 13:22 CEST
Nmap scan report for trac.sagemath.org (128.208.160.253)
Host is up (0.17s latency).
PORT STATE SERVICE
22/tcp open ssh
80/tcp open http
9418/tcp filtered git
Nmap done: 1 IP address (1 host up) scanned in 2.47 seconds
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
