Re: [Discuss-gnuradio] git pull fails

[Richard Farina]

On 05/27/2013 01:09 AM, Johnathan Corgan wrote:
> On Sun, May 26, 2013 at 9:57 PM, Richard Farina <address@hidden> wrote:
> 
> 
>> ozzie gnuradio.git # git remote update
>> Fetching origin
>> error: Unable to find f8a41c725b4d7e5a37655b8d274a4d62f92745a4 under
>> http://gnuradio.org/git/gnuradio.git
>> Cannot obtain needed tree f8a41c725b4d7e5a37655b8d274a4d62f92745a4
>> while processing commit a7b3a9339106aaba72195b693dfeaa98f194e0d5.
>> error: Fetch failed.
>> error: Could not fetch origin
>> ozzie gnuradio.git #
>>
> 
> I'm running some consistency checks on the repository, it will finish in a
> few minutes.
> 
> Are you able to access the repository via the native git protocol?  You'd
> have to change the URL:
> 
> $ git remote set-url origin git://git.gnuradio.org/gnuradio.git
> 
> Then try the update.
> 
Things are updating normally on all my systems at this time.  Not sure
exactly what changed but my auto-{update,build} scripts started working
again sometime yesterday.

Thanks!

-Zero