Hi, Over the last 13 hours I got this:
ras@dk5ras:~/gnuradio$ git pull fatal: unable to connect to gnuradio.org: gnuradio.org[0: 108.162.196.111]: errno=Connection timed out gnuradio.org[1: 108.162.197.111]: errno=Connection timed out The server IP address is reached: ras@dk5ras:~/gnuradio$ ping gnuradio.org PING gnuradio.org (108.162.197.111) 56(84) bytes of data. 64 bytes from 108.162.197.111: icmp_req=1 ttl=56 time=22.9 ms 64 bytes from 108.162.197.111: icmp_req=2 ttl=56 time=22.6 ms Same ping result with the other IP address git has used. Also the website works. Yesterday in the morning (Germany, UTC+2) I had the same problem, in the evening it was OK. Am I the only one? :) Ralph. _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio