# source: https://github.com/MikeMcQuaid/dotfiles/blob/master/ssh/config
# archive: https://web.archive.org/web/20220313114450/https://github.com/MikeMcQuaid/dotfiles/blob/master/ssh/config

Host *.github.com *.github.net *.githubapp.com
	ForwardAgent no
	User mikemcquaid

Host github-shell
	User mikemcquaid
	HostName shell.service.ac4-iad.github.net
	ProxyJump bastion.githubapp.com

Host github-codespaces
	User root
	Hostname localhost
	Port 2222

Host *
	StrictHostKeyChecking ask
	VerifyHostKeyDNS ask
	NoHostAuthenticationForLocalhost yes
	IdentityFile ~/.ssh/id_ed25519
	IdentityFile ~/.ssh/id_rsa
	UseKeychain yes
	AddKeysToAgent yes
	ControlMaster auto
	ControlPath /tmp/ssh-%r@%h:%p.socket
