Update failed:ssh: Could not resolve hostname github.com: Name or service not known Could not read

背景：
当我本地修改了我的代码之后，我commit到了本地仓库，这个时候，我想把它推送到github上去。
但是idea给我报了一个这样的错误。

无法解析主机名github.com:名称或服务未知，无法从远程存储库读取。

 

我试着去网上查找资料，有的博主提到修改本机host文件，加上一行

52.74.223.119 github.com

但是我设置了之后，并没有用。
这时候我在浏览器试着访问了一下http://github.com

很遗憾，我不能访问

 

这个时候，我大概知道了原因。github又被墙了。我试着挂上一个vpn。果然我可以访问了。
我的vpn是SetVpn，它只是一个谷歌插件。

并且十分神奇的情况发生了，
我在命令行中，可以ping的通github.com了

然后在idea中，再次试着push我的代码，这一次，并没有报错。

可能我在谷歌浏览器中安装的vpn，难道都代理了我的网络请求？？奇怪。