github에서 ssh : connect to host github.com port 22 오류가 발생했습니다.

나는 평소 github에 ssh로 연결을하고 있지만 port22로 연결할 수없는 네트워크 환경에서 github과 통신하면 오류가 발생했습니다.
그때의 대처법.

무슨 일이 있었는지

카페의 WIFI에 연결하여 github에 평소대로 액세스하려고 했더니 아래와 같은 에러가 발생했다.

$ git push origin master
ssh: connect to host github.com port 22: Operation timed out
fatal: Could not read from remote repository.

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

분명히 여기의 WIFI는 port22에서의 연결을 허용하지 않는 것 같습니다.

port443에서 ssh 연결하기

대처법은 이 공식 문서 에 써 있는 채입니다만, 이하의 순서로 실시했습니다.

연결할 수 있는지 확인.

$ ssh -T -p 443 [email protected]
The authenticity of host '[ssh.github.com]:443 ([18.181.13.223]:443)' can't be established.
RSA key fingerprint is SHA256:xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx.
Are you sure you want to continue connecting (yes/no/[fingerprint])? yes
Warning: Permanently added '[ssh.github.com]:443,[18.181.13.223]:443' (RSA) to the list of known hosts.
Hi username! You've successfully authenticated, but GitHub does not provide shell access.

config를 공식에 따라 편집

$ vi ~/.ssh/config

//以下を記載して保存
Host github.com
   User git
   Hostname ssh.github.com
   Port 443
   IdentityFile ~/.ssh/id_rsa

ssh 연결 확인

$ ssh -T [email protected]
Hi username! You've successfully authenticated, but GitHub does not provide shell access.

할 수 있었어요~~~~!

보안 문제

이 근처 잘 몰랐기 때문에 @ 미카 눈씨에게 물었습니다.

원칙적으로 HTTPS를 사용하는 것은 아니며 HTTPS port를 사용하여 ssh 연결을하고 있기 때문에 문제가 발생할 가능성은 한없이 낮다는 것입니다.

그래서 config 파일은 이대로도 문제 없을 것 같았습니다만, 어쩐지 집에서 접속할 때 불필요한 것이 포함되어 있는 것도 기분 나쁘기 때문에, 그 카페를 나올 때에 config 파일은 원래의 설정으로 되돌렸습니다 .

@ 미카 눈 씨 Special Thanks!