首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >pull命令错误:连接到github.com:8080失败

pull命令错误:连接到github.com:8080失败
EN

Stack Overflow用户
提问于 2011-02-24 16:53:40
回答 2查看 18.2K关注 0票数 16

我尝试拉取存储库,以便合并对存储库所做的更改。

但在使用pull命令时,它会给出以下错误:

代码语言:javascript
复制
$ 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命令出错。

有什么建议吗?

EN

回答 2

Stack Overflow用户

发布于 2011-05-21 16:29:49

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

代码语言:javascript
复制
git config --global http.proxy

如果它返回某些内容,则必须使用以下命令取消设置该值:

代码语言:javascript
复制
git config --global --unset http.proxy

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

代码语言:javascript
复制
echo $http_proxy 

在那之后,它应该可以工作。

票数 45
EN

Stack Overflow用户

发布于 2011-02-24 17:47:38

为什么要使用https?

对于GitHub上的私有存储库,您可以使用(作为shown here):

代码语言:javascript
复制
git clone https://username@github.com/username/project.git

但对于公共回购,一个简单的方法:

代码语言:javascript
复制
git clone http://github.com/username/project.git

应该足够了。

票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/5102361

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档