Configurar o HTTP proxy no Git
Para habilitar o proxy de forma global no git, deve-se executar o seguinte comando no terminal   git config --global http.proxy http://<user>:<senha>@<server>:<porta>   Para habilitar o proxy no repositório local do git, deve-se executar o seguinte comando no terminal, lembrando de estar dentro da pasta do repositório   git config http.proxy http://<user>:<senha>@<server>:<porta>   Para verificar se a configuração foi efetuada com sucesso, basta executar o seguinte comando e verificar as propriedades listadas   git config -l