Comment résoudre le problème de connexion à gethub : échec de la connexion au port 443 de github.com
Problème J'ai eu ce problème ces derniers jours : échec de la connexion au port 44 de github.com […]
question
J'ai ce problème depuis quelques jours :
Échec de la connexion au port 443 de github.com
Solution
Définissez le proxy global pour get :
git config --global http.proxy http://127.0.0.1:7890 git config --global https.proxy http://127.0.0.1:7890
c'est ça.
annexe
Commandes pour afficher et modifier la configuration de git :
git config --global --edit
Commande pour effacer l'agent git :
git config --global --unset http.proxy