# Hosts
Host ambrose-dev
HostName ambrose-dev
# Git
Host github.com
HostName ssh.github.com
User git
Port 443