Host github.com
    HostName ssh.github.com
    User git
    Port 443