1Host github.com
 2	Hostname ssh.github.com
 3	Port 443
 4    TCPKeepAlive yes
 5	IdentityFile ~/.ssh/github
 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.162.71
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