Git pull 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

命令出错。

---

有什么建议吗？

为什么要使用https

对于GitHub上的私人回购，您可以使用（作为）：

但对于公开回购，一个简单的方法是：

git clone http://github.com/username/project.git

---

应该足够了。

我也有同样的问题，因为我忘了删除Git上的代理配置

git config --global http.proxy

如果它返回某个值，则必须使用以下命令取消设置该值：

git config --global --unset http.proxy

有很多方法可以为git设置代理，也许这不是一个好方法。还可以检查环境变量

echo $http_proxy 

---

在这之后，它应该可以工作

您可能还需要删除https.proxy值。要取消设置全局配置，请使用以下命令

git config--global--unset http.proxy

一些教程（如three20）也会显示git://github.com. 这似乎不起作用，但将其改为https有帮助，我也必须这样做：目前bitbucket存在同样的问题，2天前一切正常，没有接触任何东西，现在VPS拒绝连接到bitbucket，本地连接正常，远程设置对于VPS和本地都是相同的，并且都是正确的，VPS没有http（s）\ U代理记录，因此--unset没有任何帮助，不知道这可能是什么，也不知道下一步该做什么。

echo $http_proxy