How to Github and Gitorious over HTTP proxy

gistfile1.mkd

You could always use Smart HTTP.

For read-only (git:) urls, install corkscrew.

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

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

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.10.10.10 8080 $*

ssh_config

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

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