https_proxy needed to commit on git