🧐记一个遇到的 git ssh 问题

今天忽然发现 git 的速度不太对劲。明明我挂了代理但是还是非常慢，速度只有几 kb 每秒。我首先检查了一下 .gitconfig：

显然是没有什么问题。随后我又尝试使用 https clone 仓库，发现速度在几 M 每秒。这就很奇怪了，难道是 ssh 的问题吗？搜索一下发现，其他人也确实有这个问题。于是乎我猜测是否是由于 git ssh 没有过代理。于是乎修改 .ssh/config 文件，添加：

但是还是不行。但是我在 https://gist.github.com/laispace/666dd7b27e9116faece6 中发现有人提到端口的问题，于是乎把 ssh 的端口换为 443。遂成功。

继续搜索发现，GFW 在今年 1 月 31 日的时候屏蔽了 github.com 的流量。