在使用Git推送到GitHub时发现连接不上，顺手查了一下如何设置代理，结果发现网上流传的设置方法有部分谬误。实际上只有http.proxy这一个配置，而没有很多博文中提到的https.proxy这个配置。究其原因，个人认为很可能与在Linux或者Windows中设置代理时可以分别设置HTTP、HTTPS的有关，所以很多文章想当然的认为Git有http.proxy，那必然也有https.proxy，以致误导读者。因此建议在进行类似配置时，最好还是去查询一下官方的文档为好。至于具体如何设置，可以参照参考1、2中的链接，在此不再赘述。
参考
- Git有关代理的官方文档
- GitHub上的一个有关Git代理的讨论