Is git repository down today?

I’ve tried to install GNU Radio with build-gnuradio script.

But every time it fails and says ‘could not find gnuradio-core after
checkout git checkout’ something

On Fri, Feb 22, 2013 at 2:52 AM, Songsong G. [email protected]
wrote:

I’ve tried to install GNU Radio with build-gnuradio script.

But every time it fails and says ‘could not find gnuradio-core after
checkout git checkout’ something

Try again. I just checked and everything appears to be working
normally. Might have just hit it during some network outage or some
other transient issue.

Tom