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