From: Markus Heidelberg <markus.heidelberg@web.de>
Date: Tue, 13 Jan 2009 00:59:46 GMT
Subject: Re: Help! My ISP blocks repo.or.cz. How to push changes?
Message-ID: <200901130159.47271.markus.heidelberg@web.de>
In-Reply-To: <200901130043.04772.jnareb@gmail.com>

Jakub Narebski, 13.01.2009:
> P.S. What should I put in core.gitProxy to make it possible to fetch
> via git:// protocol from repo.or.cz?

I'm not sure if this is what you need, but I use this at work for
fetching via git protocol:

[core]
	gitProxy = /etc/gitproxy.sh for kernel.org
	gitProxy = /etc/gitproxy.sh for or.cz
	# and several others ...

gitproxy.sh:
#! /bin/sh
(echo "CONNECT $1:$2 HTTP/1.0"; echo; cat ) | socket <company proxy host> <port> | (read a; read a; cat )

Markus