git 网络问题-终极解决方案

公司的网一直git有问题。明明挂了梯子，但还是经常出现time out等等一系列问题。最终还是看了这篇设置代理解决github被墙 - 知乎 (zhihu.com)博客解决的。但是注意的是，博客中提到的https和ssh都需要进行设置