Re: Help! My ISP blocks repo.or.cz. How to push changes?

From: Jakub Narebski <jnareb@gmail.com>
Date: Jan 12, 2009, 23:43 UTC
Message-ID: <200901130043.04772.jnareb@gmail.com>
In-Reply-To: <20090112122337.GA7262@glandium.org>

On Mon, 12 January 2009, Mike Hommey wrote:

> On Mon, Jan 12, 2009 at 12:13:44PM +0100, Jakub Narebski <jnareb@gmail.com> wrote:

Show 20 quoted lines

>> Currently I have the folowing in my ~/.ssh/config:
>> 
>>   # TP S.A. blocks repo.or.cz
>>   Host repo.or.cz
>> 	NoHostAuthenticationForLocalhost yes
>> 	HostName localhost
>> 	Port 2222
>> 
>> and I can simply use "git push repo" without any changes.
>> But I have to run 
>> 
>>  $ ssh -f -N -L 2222:repo.or.cz:22 jnareb@host.example.com
>> 
>> first. Is there any way to automate this?
> 
> Something like the following should do the trick:
> Host repo.or.cz
> 	ProxyCommand ssh jnareb@host.example.com nc %h %p
> 
> You will need nc (netcat) installed on the host.example.com server, though.

I assume that is both in place of above ~/.ssh/config configuration, and making unnecessary port forwarding (ssh -L) invocation, isn't it?

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

-- 
Jakub Narebski
Poland