IDEA的Git代理

最近提交git时一直push失败，刚开始还以为是网络原因，但开着魔法ping速度挺正常的。于是排查目标就缩小到了idea上，一查才发现，原来idea提交git不走代理，或者说你不配置的话它就不走。

可以用git config --global -l查询一下有没有带proxy字段的配置，如果没有就是没有配置。

我们需要配置：

git config --global http.proxy <proxy-address>
git config --global https.proxy <proxy-address>

这样http与https的请求就可以通过代理访问了。

实际例子可以看我这个，我用的魔法有系统代理，因此我直接配置了：

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

配置之后提交就没问题了。

虽然git能裸连，大部分时候不配置也能正常用，但如果遇到尝试多次都没法push的情况，可以检查一下是不是同样的问题。