Using GitHub behind a proxy

At my customer, we are using a proxy server, and sometimes it’s handy to have access to GitHub, for example to the Grails repository, or my own Grails Fitnesse repo. I struggled a while to get this to work, but apparently, it couldn’t be easier:

export HTTPS_PROXY=''
git clone

Using the https protocol, you can commit your changes over https instead of using the git protocol, and it’s still really fast.