git cloneできない(解決)

何台かあるうちの一台のUbuntu 18.04マシンで、git cloneができないという事態が発生しました。

~$ git clone https://github.com/syl20bnr/spacemacs.git
Cloning into 'spacemacs'...
ssh: Could not resolve hostname github: Name or service not known
fatal: Could not read from remote repository.

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

そんな馬鹿な、といろいろ調べたのですが解決しないでいたところ、ひょっとしてと思って、

https

http

に書き直したら問題なく、git cloneできました。

なぜだろう。