Has the git repository been affected by the server issues experienced at
gnuradio.org?
$ git clone gnuradio.git - GNU Radio
The above hung at “Cloning into gnuradio…” for a long time and then
gave this error:
error: Recv failure: Connection reset by peer while accessing
http://gnuradio.org/git/gnuradio.git/info/refs
fatal: HTTP request failed
Is there a way to download over the git port?
Thanks,
Sean