Ошибка команды pull: Не удалось подключиться к github.com:8080

Я попытался извлечь репозиторий, чтобы я мог объединить изменения, внесенные в мой репозиторий.
Но при использовании команды pull появляется следующая ошибка:

$ 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

Я попытался установить http-прокси, но без изменений.
push команда работала отлично, но ошибка с командой pull .
Есть предложения?