On 10/04/2013 05:55 PM, Bruce Korb wrote:
> $ 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
>
>
WFM
