问题记录github push 失败：Failed to connect to github.com port 443

Posted 2022-07-01 黑子Kuroko

记录一下奇奇怪怪的问题，反复出现。

问题描述：

苹果电脑开了本地代理，github push操作总是失败，提示如下：

> git pull --tags origin main
fatal: unable to access 'https://github.com/fifteen718/share-demos.git/': Failed to connect to github.com port 443: Operation timed out

解决办法：

依次执行以下两条命令（本地依旧开着代理的情况下）

git config --global --unset http.proxy
 
git config --global --unset https.proxy

关于其中原理，欢迎评论区留言讨论 ↓↓↓