怎么在 push 代码到 github 时用上小飞机？

最近很多朋友都提到 github 很难打开，开了小飞机能访问 github 网站了，但是在 push 代码时又没办法 push 上去。

遇到的报错日志大概是这样的：

fatal: unable to access 'https://github.com/your-user-name/your-repo.git/': Failed to connect to github.com port 443 after 21057 ms: Timed out

很明显，是网络超时了。并且重试很多次也没有什么起色。

我们心里可能会想，明明我已经科学上网了，为啥 github 还 push 不上去？这是因为 git 默认是不会使用系统网络代理的，即便我们的某猫工具已经被设置为系统网络代理，还是解决不了往 github push 代码的问题。

那么怎么在 push 代码到 github 时用上小飞机呢？

其实只要用到网络请求的，基本上都可以设置代理，git 也不例外。

首先，我们找到代理工具的网络端口，以某猫为例，一般是 7890 端口。

然后，通过 git 提供的配置能力设置 http 和 https 代理。

我们可以先查看一下之前有没有设置过代理，

git config --global http.proxy
git config --global https.proxy

如果执行上述命令后没有任何输出，说明没有设置过代理，此时可以执行以下命令：

git config --global http.proxy 127.0.0.1:7890
git config --global https.proxy 127.0.0.1:7890

此时再 push 代码到 github 就显得轻而易举了。