Git pull fails

error: Unable to find f8a41c725b4d7e5a37655b8d274a4d62f92745a4 under
http://gnuradio.org/git/gnuradio.git
Cannot obtain needed tree f8a41c725b4d7e5a37655b8d274a4d62f92745a4
while processing commit b86473e385e5c78ce3860f190381437c732f5790.

Is something odd going on with git right now? I can’t seem to update
right now…

Thanks,
Zero

On Sun, May 26, 2013 at 9:08 PM, Richard F. [email protected]
wrote:

error: Unable to find f8a41c725b4d7e5a37655b8d274a4d62f92745a4 under
gnuradio.git - GNU Radio
Cannot obtain needed tree f8a41c725b4d7e5a37655b8d274a4d62f92745a4
while processing commit b86473e385e5c78ce3860f190381437c732f5790.

Is something odd going on with git right now? I can’t seem to update
right now…

What is the current commit id of the branch you are on, and what are
branch
are you trying to pull from?

On 05/27/2013 12:28 AM, Johnathan C. wrote:

right now…

What is the current commit id of the branch you are on, and what are branch
are you trying to pull from?

commit 0641a4499d751f6facc151889d0ba50910cb0c6d
Merge: 156a540 7be24af

master

Please note, I’m not much with git but I’m getting reports from others
that they are having the same issue. I can provide any info you like
but you may have to be rather specific with requests :slight_smile:

-Zero

On Sun, May 26, 2013 at 9:45 PM, Richard F. [email protected]
wrote:

commit 0641a4499d751f6facc151889d0ba50910cb0c6d
Merge: 156a540 7be24af

master

Please note, I’m not much with git but I’m getting reports from others
that they are having the same issue. I can provide any info you like
but you may have to be rather specific with requests :slight_smile:

Well, we just did a rather large update to the master branch.

Can you try ‘git remote update’ to see if the behavior is different?

On 05/27/2013 12:52 AM, Johnathan C. wrote:

but you may have to be rather specific with requests :slight_smile:

Well, we just did a rather large update to the master branch.

Can you try ‘git remote update’ to see if the behavior is different?

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 #

-Zero

On 05/27/2013 01:09 AM, Johnathan C. wrote:

error: Could not fetch origin

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

On Tue, May 28, 2013 at 7:18 AM, Richard F. [email protected]
wrote:

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.

I suspect it was an result of aggressive caching by our CDN provider,
CloudFlare, resulting in a mismatch between some revisions in the
repository accessed by HTTP.

On Sun, May 26, 2013 at 9:57 PM, Richard F. [email protected]
wrote:

ozzie gnuradio.git # git remote update
Fetching origin
error: Unable to find f8a41c725b4d7e5a37655b8d274a4d62f92745a4 under
gnuradio.git - GNU Radio
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.