$ git config --global http.proxy http://www-proxy.nl.int.atosorigin.com:8080
$ git config --global https.proxy http://www-proxy.nl.int.atosorigin.com:8080
$ git config --global http.proxy http://www-proxy.nl.int.atosorigin.com:8080
$ git config --global https.proxy http://www-proxy.nl.int.atosorigin.com:8080