最近提交代码到GitHub上时，经常提交不了。

无论是使用像 IDEA、WebStorm 这种开发工具，还是在 CMD 里输入 git pull 和 pit push 都会报错。

但是浏览器开了代理，却能正常打开 GitHub，解决这个问题只需要给 CMD 配置上代理就行。

解决办法

1、配置环境变量

为了简单，我们直接在 CMD 里输入以下命令

set http_proxy=http://127.0.0.1:7890
set https_proxy=http://127.0.0.1:7890
set all_proxy=socks5://127.0.0.1:7890

2、验证是否生效

curl -I http://www.google.com

成功

3、继续执行我们的 git 命令，成功解决

git pull
git push origin main

4、测试 IDE 开发工具也没有问题，毕竟它们也是调用CMD的