最近github老是连不上,天知道为啥天朝要把github墙掉... 只能用代理了,GAE,你懂的 git config --global http.proxy http://127.0.0.1:8087