$ git pull ssh: Could not resolve hostname git.savannah.gnu.org: Name or service not known fatal: Could not read from remote repository.
Please make sure you have the correct access rights and the repository exists. $ ping -c2 git.sv.gnu.org PING git.sv.gnu.org (140.186.70.72) 56(84) bytes of data. 64 bytes from vcs.savannah.gnu.org (140.186.70.72): icmp_seq=1 ttl=49 time=121 ms 64 bytes from vcs.savannah.gnu.org (140.186.70.72): icmp_seq=2 ttl=49 time=121 ms --- git.sv.gnu.org ping statistics --- 2 packets transmitted, 2 received, 0% packet loss, time 1001ms rtt min/avg/max/mdev = 121.345/121.479/121.614/0.373 ms
