1Host github.com
 2        Hostname ssh.github.com
 3        Port 443
 4        TCPKeepAlive yes
 5        IdentityFile ~/.ssh/github-new
 6
 7Host deepsource
 8    Hostname github.com
 9    User git
10    IdentityFile ~/.ssh/deepsource-git
11
12Host fern
13    Hostname 152.67.160.174
14    User pi
15    Port 22222
16
17Host jade
18    Hostname 152.67.182.105
19    User ubuntu
20    IdentityFile ~/.ssh/id_rsa
21
22Host pantwo
23    Hostname 100.64.1.3
24    User icy
25    IdentityFile ~/.ssh/id_rsa
26
27Host leaf
28    Hostname 152.67.160.174
29    User ubuntu
30    IdentityFile ~/.ssh/id_rsa
31
32Host *
33        ServerAliveInterval 180
34        ServerAliveCountMax 3
35        UseKeychain yes