Host github.com
    HostName ssh.github.com
    Port 443
    User git
    IdentityFile /ssh/github
    IdentitiesOnly yes
    StrictHostKeyChecking no
    UserKnownHostsFile /dev/null