很多在大公司上班的同学都需要设置代理才能上网。不知道有没有遇到过这样的问题：https://github.com很难打开，但其它网站却可以打开，比如百度或者网易。我用的浏览器是Chrome 56.0.2924.87，操作系统是Ubuntu 16.04。
按F12查看Chrome的网络日志，看不到任何错误码；github.com域名解析也没问题；用解析出来的IP抓包也抓不到。奇怪了吧。
后来从Chrome的日志文件中挖出一些关于OCSP超时的错误，再google一下，找到了答案：
AIA/CRLs/OCSP do not use proxy settings: On Linux, Chrome has always used the user proxy settings.
我的代理是通过插件设置的，设置在Chrome内部；没有给操作系统设置代理，而OCSP只认操作系统的代理，自然网络不通。
解决办法简单，就是给操作系统也设置代理（在Dashboard中敲Proxy，能搜到一个叫Network的应用程序，在这个程序中设置代理）。