env/.ssh/config

Host github.com
	Hostname ssh.github.com
	User git
	Port 443

Host saguaro
	User root
	Port 22

Host raspi
	User pi
	Port 22

Host pricklypear
	Hostname pricklypear.cacti.makerforce.io
	User ambrose
	Port 26779

# git.makerforce.io
Host makerforce.io
	Port 26779