ssh: connect to host github.com port 22 修改端口不起效情况下的解决方法

先说结论：

如果修改默认端口无法解决问题的话，可以尝试修改DNS，或切换不同的网络（手机热点也可以）进行Git Clone和Push操作

我是在尝试使用Pycharm将代码Push到Github的存储库时出现遇到的这个问题，百度说是由于SSH key未成功配置的原因。但是在我重新生成了SSH key，并在Git中尝试执行ssh -T git@github.com命令时又报了一样的错误，问题并没有被解决。

我又参考了一系列博客，发现其他人遇到这个问题时主要有以下两类解决方法：
1：Git进入~/.ssh文件夹下新建config文件，写入如下代码以修改端口为443（https://blog.csdn.net/qq_42146613/article/details/82772734）:

Host github.com
User 我的Github账号邮箱
Hostname ssh.github.com
PreferredAuthentications publickey
IdentityFile ~/.ssh/id_rsa
Port 443

2：进入本机Git安装目录下的/etc/ssh文件夹，找到ssh_config文件，打开并在末尾添加刚刚的代码（https://blog.csdn.net/qq_41166135/article/details/81282572）

可惜这两类方法对我而言都不起效果。
后来我尝试到StackOverflow里进行搜索，最终发现了这个回答，解决了我的问题：
https://stackoverflow.com/questions/15589682/ssh-connect-to-host-github-com-port-22-connection-timed-out

根据该回答，如果修改默认端口不起效果的话，可以尝试修改DNS，或是切换网络进行Git Clone和Push。
后续由于我Git需要使用的次数不多，就没去改DNS，直接连接手机热点完成了Push操作。