Host *
	ServerAliveInterval 5
	ServerAliveCountMax 1

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

Host gitlab.com
	Hostname altssh.gitlab.com
	User icyphox
	Port 443
	PreferredAuthentications publickey
	IdentityFile ~/.ssh/gitlab

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

Host emerald
	Hostname 139.59.93.193
	User nerdypepper
	IdentityFile ~/.ssh/id_rsa
	Port 443

Host atlantis
	User ubuntu
	Hostname 13.127.190.17
	IdentityFile ~/.ssh/atlantis.pem