About 4:30 am east coast time right now ...

$ cd gawk ;git pull
error: The requested URL returned error: 502 Bad Gateway while accessing 
http://git.savannah.gnu.org/r/gawk.git/info/refs

Thanks,

Arnold

Reply via email to