1Host *
 2	ServerAliveInterval 3
 3	ServerAliveCountMax 1
 4
 5Host github.com
 6	Hostname ssh.github.com
 7	Port 443
 8	IdentityFile ~/.ssh/github
 9
10Host gitlab.com
11	Hostname altssh.gitlab.com
12	User icyphox
13	Port 443
14	PreferredAuthentications publickey
15	IdentityFile ~/.ssh/gitlab
16
17Host webarch
18	Hostname 13.127.51.16
19	User ubuntu
20	IdentityFile ~/.ssh/webarch-aws.pem
21
22Host boop
23	User icy
24	Port 443
25	Hostname boop.ph0x.me
26	IdentityFile ~/.ssh/id_rsa
27
28Host milan
29	Hostname 35.154.128.132
30	User ubuntu
31	IdentityFile ~/.ssh/id_rsa
32
33Host emerald
34	Hostname 139.59.93.193
35	User nerdypepper
36	IdentityFile ~/.ssh/id_rsa
37	Port 443
38
39Host atlantis
40	User ubuntu
41	Hostname 13.127.190.17
42	IdentityFile ~/.ssh/atlantis.pem
43