git pull をしようとしたら Connection timed out となった場合の対処方法

以前 git clone したリポジトリをアップデートしようと git pull コマンドを実行したところ、以下のようなエラーが発生した。

$ git pull
fatal: unable to connect to github.com:
github.com[0: 20.27.177.113]: errno=Connection timed out

"unable to connect" とのことなので接続できないというエラーだ。このようなエラーが出た場合、以下のコマンドで git:// を https:// にすることで解決する可能性がある。

$ git config --global url."https://".insteadOf git://

これでもう一度 git pull してみるとうまく動いてくれた。

$ git pull
remote: Enumerating objects: 4607, done.
remote: Counting objects: 100% (3112/3112), done.
remote: Compressing objects: 100% (369/369), done.
remote: Total 4607 (delta 2906), reused 2874 (delta 2732), pack-reused 1495 (from 1)
Receiving objects: 100% (4607/4607), 825.57 KiB | 12.32 MiB/s, done.
Resolving deltas: 100% (3686/3686), completed with 297 local objects.
(以下略)

なんで git だとダメなのかわからないが(ポート空いてないんだろうか？)とりあえず動くようになったので良しとする。