http.proxy est une chaîne. Le définir sur 0 peut amener Git à contacter un hôte littéralement nommé 0 plutôt qu'à désactiver le proxy.

Trouvez d'abord les entrées correspondantes et leurs portées :

git config --show-origin --show-scope --get-regexp '.*proxy.*'

Inspectez les entrées système, utilisateur, dépôt, les inclusions et celles propres à l'URL, ainsi que l'environnement réel du processus. Gardez les valeurs porteuses d'identifiants privées. Interrogez ensuite le dépôt distant HTTPS concerné :

git config --get-urlmatch http.proxy https://git.example/team/project.git

Si l'inspection a identifié une seule entrée http.proxy obsolète locale au dépôt, exécutez ceci depuis la copie de travail prévue pour supprimer cette entrée :

git config --local --unset http.proxy

Utilisez la source réellement signalée ; cet exemple local n'est pas une commande pour effacer les valeurs par défaut de l'utilisateur ou de la machine. Inspectez plusieurs valeurs avant de choisir une opération qui les supprime toutes.

La suppression expose les entrées restantes. Un unset local peut révéler une valeur par défaut de l'utilisateur, et supprimer une entrée utilisateur peut laisser une règle propre à l'URL. Une valeur vide explicite exprime au contraire un remplacement direct voulu dans une configuration Git prise en charge ; c'est une politique différente du retrait d'une source.

Gardez core.gitProxy et les routes SSH séparés. Si une valeur revient, inspectez les inclusions, les lanceurs, les IDE et les outils de compilation et corrigez le producteur à la portée prévue. Répétez la requête de sélection et l'opération réseau : une sélection correcte n'établit ni la connectivité ni l'authentification ultérieure du dépôt.

Articles similaires