idea代码push踩坑

不改代理配置会出现Git报错： Failed to connect to github.com port 443

解决方案：https://blog.csdn.net/zpf1813763637/article/details/128340109

1.找到代理的端口号

在电脑上搜索代理服务器即可

2.输入以下指令

git config --global --replace-all http.proxy 127.0.0.1:10809
git config --global --replace-all https.proxy 127.0.0.1:10809

注意：10809改成自己的端口号

3.打开代理，直接push

见下图，成功了。