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