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 emerald
12	Hostname 139.59.93.193
13	User nerdypepper
14	IdentityFile ~/.ssh/id_rsa
15	Port 443
16