can someone give me the exact command to check out gnuradio via git? as the website is down, I'm stuck.