在使用git push命令时遇到time out的情况，查询得知需要添加代理
git config --global http.proxy http://127.0.0.1:1080
git config --global https.proxy http://127.0.0.1:1080
输入后没有解决该问题,请求仍然超时。 后来才发现端口号需要填入代理服务器的端口。
修改为：
git config --global http.proxy "127.0.0.1:7890"
git config --global https.proxy "127.0.0.1:7890"
设置完成后，再输入git push没有再提示超时, push成功。
之前还出现过的问题 OpenSSL SSL_read: Connection was reset, errno 10054同样是因为代理服务器没有填写好, 而服务器的SSL证书未经过第三方机构签署，那么Git就会报错。
Git处理可信任的SSL临时证书的方法：
git config -global http.sslVerify "false"
总结
使用git访问github服务器时，若使用代理服务器，需要在git的配置文件中添加代理服务器IP+端口，让git可以正确解析URL。若SSL证书非第三方机构签署，git提示OpenSSL错误时，可以添加临时SSL证书。
