リポジトリに加えられた変更をマージできるように、リポジトリをプルしようとしました。
ただし、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
コマンドでエラーが発生しました。
助言がありますか?