Re: [O] Http pull/clone at orgmode.org is down?

[Rick Frankel]

On 2013-07-18 16:10, John Hendy wrote:
> When I try to issue git pull (since yesterday, replicated today), I'm
> getting this:
>
> $ git pull
> error: Unable to find 989923a140695aa87959bdc727666aeec48ec074 under
> http://orgmode.org/org-mode.git
> Cannot obtain needed tree 989923a140695aa87959bdc727666aeec48ec074
> while processing commit 0b770b125ffaed8e21dfea523437f12c35dec334.
> error: Fetch failed.

I am also behind a firewall, and i have the same issue regularly. I
"solve" it by removing the current checkout and re-cloning the
repository.

rick