If this is relevant your question, you may want to look into setting up a http CONNECT proxy, to use the efficient git protocol through your corporate proxy. I found these articles while searching for my problem.
http://www.emilsit.net/blog/archives/how-to-use-the-git-protocol-through-a-http-connect-proxy/ http://limlian.blogspot.com/2008/08/use-http-proxy-for-git-client.html Bernt Hansen <be...@norang.ca> writes: > Scot Becker <scot.bec...@gmail.com> writes: > > >> So I don't think the problem is on the server end. Did you try any >> other projects (using git+http proxy)? >> >> I don't suppose anyone knows how to git org develpment releases >> sometimes behind an http proxy and sometimes directly (as on a laptop >> that is sometimes behind a firewall, and sometimes not.) I couldn't >> make this to work. > > There are multiple options > ------------------------------------------------------------------------ > UNTESTED > > You might be able to get away with creating a second remote for the > project like this: > > [remote "origin"] > fetch = +refs/heads/*:refs/remotes/origin/* > url = http://repo.or.cz/r/org-mode.git > > [remote "origin2"] > url = git://repo.or.cz/org-mode.git > fetch = +refs/heads/*:refs/remotes/origin/* > > then > > git fetch origin > uses the HTTP protocol > > and > > git fetch origin2 > uses the git protocol > > You can set up origin to be whichever you use more often (or switch as > required.) The only differences between these remotes are: > > - name of the remote - you can name it anything you like > - the fetch = lines are identical - using the same remote ref > 'refs/remotes/origin'. This should work okay since the repos are > physically the same > - the url specifies the transport method to use. > > ------------------------------------------------------------------------ > > Just use two remotes > > origin for your fast git protocol access > http for your slow http protocol access > > then you'll have remotes like origin/master and http/master > > If you can't git pull origin, you can manually git fetch http and git > merge http/master or whatever is appropriate > > ------------------------------------------------------------------------ > > I carry my org-mode.git around on my USB stick -- so I can just > clone/pull/fetch from that without internet access. I'll update my > workstation/laptop repo when it has net access and then push to the usb > stick. > > HTH, > Bernt _______________________________________________ Emacs-orgmode mailing list Remember: use `Reply All' to send replies to the list. Emacs-orgmode@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-orgmode
