HowTo Use an HTTP Proxy With Git

git should use the environment variable $http_proxy so set that and you should be ok. If you don’t want to use the environment, set it statically like this:

$ git config --global http.proxy http://proxy.example.com:8080
$ git config --get http.proxy
http://proxy.example.com:8080