idea异常: 无法连接github, push 代码报错 Push failed

在idea 中, push 代码到github 时, 报错无法连接github.com:443. 经过排查, 笔者发现原来时因为笔者所处的网络在捣鬼。由于笔者所处网络存在网络代理, 而git命令无法使用系统全局代理, 所以为git 单独设置网络代理即可。

异常信息:

Push Failed: Failed with error: unable to access 'https://github.com/xxx.git/': 
Failed to connect to github.com port 443: Connection timed out

解决方案:

# 命令行执行设置git 全局代理命令即可
git config --global https.proxy http://xxx.xxx.xxx:8080
git config --global http.proxy http://xxx.xxx.xxx:8080
git config --global socks5.proxy http://xxx.xxx.xxx:8080