[Discuss-gnuradio] Problem with Gnuradio git?

[John Ackermann N8UR]

For at least the last couple of days, the build-gnuradio script has been 
failing almost immediately after it starts fetching, claiming that it 
"could not find gnuradio/gnuradio-[core,runtime] after GIT checkout."

I changed the URL in the script from git.gnuradio.org to github.org and 
that worked fine.

Has something in the gnuradio git changed that requires build-gnuradio 
to be patched, or is this a temporary problem?

Thanks,
John