Host *
	ServerAliveInterval 20
	ServerAliveCountMax 2

Host github.com
	Hostname ssh.github.com
	Port 443
	IdentityFile ~/.ssh/github

Host webarch
	Hostname 13.127.51.16
	User ubuntu
	IdentityFile ~/.ssh/webarch-aws.pem

Host boop
	User icy
	Port 443
	Hostname boop.ph0x.me
	IdentityFile ~/.ssh/id_rsa

Host milan
	Hostname 35.154.128.132
	User ubuntu
	IdentityFile ~/.ssh/id_rsa