今天 git ssh 莫名其妙抽风了，无法 pull/push 代码，一直提示超时、端口错误啥的。各种修改 git config 都没搞定。最后查 github docs 发现可以通过 https 端口建立 ssh 连接，在 ~/.ssh/config 中加了一行 Hostname 搞定了。https://docs.github.com/en/authentication/troubleshooting-ssh/using-ssh-over-the-https-port
