Pulling from Github behind a proxy

Pulling code from the outside when you're behind a proxy in the enterprise world is usually a simple matter. Since I'm using cygwin I just export my proxy like this:

export http_proxy=http://proxy:80/
export https_proxy=http://proxy:80/

Works on my machine.

Still, I just tried cloning a new repository and I got this error message:

> git clone git://github.com/chriskempson/base16-textmate.git Base16

Cloning into 'Base16'...
fatal: unable to connect to github.com:
github.com[0: 207.97.227.239]: errno=Connection timed out

That looked like the proxy didn't work. But that wasn't the case. The problem is that we are using the git-protocol which of course isn't routed through the http proxy. The solution is to change to the http protocol. Simple...

> git clone http://github.com/chriskempson/base16-textmate.git Base16

Cloning into 'Base16'...
remote: Counting objects: 36, done.
remote: Compressing objects: 100% (22/22), done.
remote: Total 36 (delta 24), reused 26 (delta 14)
Unpacking objects: 100% (36/36), done.