Using http was my first thought too. However, the error message from git contains the proxy server's response, which says, in brief, "this site is blocked". I can't even browse the repository from here.

This is probably an oversight, which can be fixed in time, and with paperwork.

Thanks,
Mike


On Mon, Oct 27, 2008 at 12:02 PM, Manish <mailtomanish.sharma@gmail.com> wrote:
 On Mon, Oct 27, 2008 at 10:15 PM, Mike Buksas wrote:
 > Carsten, et al,
 >
 > I'll give this a try when I'm out from behind my corporate firewall. For
 > reasons I cannot comprehend, repo.or.cz is being blocked.
 >
 > On that note, is there anyplace else I can clone org from?

You can clone/update over HTTP.. should work behind firewalls as well.
First question here: http://orgmode.org/worg/org-faq.php

--
Manish