Erreur de commande pull: Échec de la connexion à github.com:8080
J'ai essayé de tirer le référentiel de sorte que je peux fusionner les modifications apportées à mon référentiel.
Mais alors que l'aide de la commande pull il donne l'erreur suivante:
$ git pull https://github.com/ShrutiRuparel/depot.git master
error: Failed connect to github.com:8080;
No error while accessing https://github.com/ShrutiRuparel/depot.git/info/refs
fatal: HTTP request failed
J'ai essayé le réglage du proxy http, mais pas de changement.
push
commande a fonctionné parfaitement bien, mais d'une erreur de pull
commande.
Des suggestions?
source d'informationauteur Rashmi | 2011-02-24
Vous devez vous connecter pour publier un commentaire.
J'ai eu le même problème car j'ai oublié d'enlever mon proxy configuration sur Git.
Si elle renvoie quelque chose que vous avez à annuler la valeur avec la commande suivante :
Il y a beaucoup de moyen de définir un proxy pour git et peut-être que ce n'est pas la bonne. Vous pouvez aussi vérifier que votre variable d'environnement.
Après cela, il devrait œuvres
Pourquoi êtes-vous à l'aide de https?
Privé repo GitHub, vous pouvez utiliser (comme montré ici):
Mais pour un public de pensions, un simple:
devrait être suffisant.