Git et proxy : cause de l’erreur 407

Depuis quelques mois, je travaille pour un centre de service particulier, avec un réseau à base de proxy.
Il m’est arrivé de configurer Git comme je ne l’avais jamais fait auparavant.

Dernièrement, j’ai eu l’occasion de faire connaissance avec une erreur de git, lors d’un push. Cette erreur était la suivante :

fatal: unable to access ‘http://128.1xx.xxx.xx/’: The requested URL returned error: 407

Après investigation, j’ai pu voir que l’erreur venait d’un proxy qui avait été installé entre mon serveur local et le Gitlab de mon repository.

Comme résolution à mon problème, j’ai eu ces 3 commandes Git suivante.
Je les partage avec vous.

$ git config --global https.proxy http://<username>:<userpsw>@<proxy>:<port>
$ git config --global http.proxy http://<username>:<userpsw>@<proxy>:<port>
$ git config --global http.sslVerify false

Inspirations

• The requested URL returned error: 407
• Git through a Proxy. What is causing the 407 error when cloning ?