解决git push时出现Failed to connect to github.com port 443: Timed out

最近，在android studio上push代码到github时，出现Failed to connect to github.com port 443: Timed out错误。

此错误是因为代理的设置问题；

解决方法：
进入项目目录中，使用命令行取消代理设置：

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