Host github.com
        Hostname ssh.github.com
        Port 443
    TCPKeepAlive yes
        IdentityFile ~/.ssh/github

Host deepsource
    Hostname github.com
    User git
    IdentityFile ~/.ssh/deepsource-git

Host fern
    Hostname 152.67.160.174
    User pi
    Port 22222

Host jade
    Hostname 152.67.162.71
    User ubuntu
    IdentityFile ~/.ssh/id_rsa

Host pantwo
    Hostname 100.64.1.3
    User icy
    IdentityFile ~/.ssh/id_rsa

Host leaf
    Hostname 152.67.160.174
    User ubuntu
    IdentityFile ~/.ssh/id_rsa

Host *
        ServerAliveInterval 180
        ServerAliveCountMax 3
        UseKeychain yes