git异常：Failed to connect to github.com port 443 异常解决方案

背景

• 通过Intellij idea提交代码到github仓库，但莫名就无法访问github，检查邮箱，密钥等配置后，确信是网络问题。【一般密钥等明确的信息报错会直接给出】
• 因为带有vpn，直接做git代理配置

操作

• 直接通过git bash就可以：

git config --global http.proxy htttp://127.0.0.1:{prot} 	# {prot}: 自身vpn端口号
git config --global https.proxy htttp://127.0.0.1:{prot}

• 然后再取消代理即可

git config --global http.proxy htttp://127.0.0.1:{prot}
git config --global https.proxy htttp://127.0.0.1:{prot}

再次push或者pull都没什么问题了！

//TODO 试着分析原因

//不懂，憋不出来