Então, para mim, uma reinicialização contornou esse problema de DNS. Se você alterou seu arquivo ~ / .ssh / config e ele não está funcionando, tente reiniciar, pelo menos no Cygwin.
Ainda estou recebendo reclamações sobre minhas chaves criptográficas, mas essa é uma questão totalmente diferente. :)