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

[John Hendy]

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.

In googling around, it sounds like it might be an issue with either
low disk space (checked, and I'm only at 60% of HD capacity) or a repo
location change.

I pull using http since I'm behind a firewall.

I changed ~/.elisp/org.git/.git/config to point to the repo.or.cz
site, and pull worked fine. Just an FYI in case this was unknown.


Thanks,
John