Dans git bash: >> git config --global http.proxy http://olivier.massot:*****@olfeov5.cg67.fr:8080 Attention: le mdp sera stocké en clair dans ~\.gitconfig