22番ポートが繋がらなくてもsshでgithubを使う方法

突然githubに繋がらなくなって泣いたことはないでしょうか？

私は今日、泣きました。

いつもと同じようにpushしようとしたら、妙に時間がかかってリポジトリが読めない、と言われてしまった。

1
2
3
4
5


ssh: connect to host github.com port 22: Bad file number
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

でも、そんな時でも大丈夫。

1

ssh -T -p 443 git@ssh.github.com

これでgithubが返事をしてくれればちゃんと使える。

~/.ssh/configに以下の文言を追記して保存。

1
2
3


Host github.com
  Hostname ssh.github.com
  Port 443

その後ちゃんと使えるか確認をしよう。

1

ssh -T git@github.com

「本当につないでも良いか」と訊かれたらyesと答えること。

githubから返事が来たらめでたくpushできるようになる。

めでたしめでたし。

Using SSH over the HTTPS port · GitHub Help