GitHubはおそらくフリーズしました

これらの日々、多くの人がGitHubでpushやpullができない問題に直面するかもしれません。どうやってもタイムアウトしてしまいます。もしこの問題を抱えているなら、以下のリンクで提供されている方法を試してみてください - configファイルを追加し、ポートを443に設定する [1](https://gist.github.com/Tamal/1cc77f88ef3e900aeae65f0e5e504794) [2](https://www.v2ex.com/t/1009542?p=1) なぜこの問題が発生するのかわかりませんが、最近のGitHubのセキュリティポリシーと関連があるかもしれません？