How to Github and Gitorious over HTTP proxy

gistfile1.mkd

You could always use Smart HTTP.

For read-only (git:) urls ...

Install corkscrew.

Download git-proxy.sh. Put it somewhere and make it executable.

Run git config --global core.gitproxy '/usr/local/bin/git-proxy'

To clone, push, pull over ssh, add the contents of ssh_config to your ~/.ssh/config file.

git-proxy.sh

#!/bin/bash

exec corkscrew 10.241.32.28 8080 $*

ssh_config

Host gitorious.org
  Hostname ssh.gitorious.org
  Port 443
  ProxyCommand corkscrew 10.241.32.28 8080 %h %p

Host github.com
  Hostname ssh.github.com
  Port 443
  ProxyCommand corkscrew 10.241.32.28 8080 %h %p