Host github.com
User git
Hostname ssh.github.com
PreferredAuthentications publickey
IdentityFile ~/.ssh/id_rsa
Port 443

Host 172.20.74.71
KexAlgorithms +diffie-hellman-group1-sha1