### WMF
## Gerrit
Host gerrit.wikimedia.org
Hostname gerrit.wikimedia.org
Port 29418
User gjg
IdentityFile /home/greg/.ssh/x230_rsa.wmflabs
UserKnownHostsFile ~/.ssh/wmflabs_known_hosts
## Production
# bastion
Host fenari.wikimedia.org bast1001.wikimedia.org
User gjg
ProxyCommand none
ControlMaster auto
IdentityFile /home/greg/.ssh/x230_rsa.wmfprod
UserKnownHostsFile ~/.ssh/wmf_known_hosts
# internal zones
Host *.pmtpa.wmnet
ProxyCommand ssh -a -W %h:%p fenari.wikimedia.org
Host *.eqiad.wmnet
ProxyCommand ssh -a -W %h:%p bast1001.wikimedia.org
Host *.wmnet
User gjg
IdentityFile /home/greg/.ssh/x230_rsa.wmfprod
IdentitiesOnly yes
UserKnownHostsFile ~/.ssh/wmf_known_hosts
# Labs
# login
Host tools-login.wmflabs.org
User gjg
IdentityFile /home/greg/.ssh/x230_rsa.wmflabs
UserKnownHostsFile ~/.ssh/wmflabs_known_hosts
# bastion
Host bastion.wmflabs.org
User gjg
IdentityFile /home/greg/.ssh/x230_rsa.wmflabs
UserKnownHostsFile ~/.ssh/wmflabs_known_hosts
Host *.eqiad.wmflabs
User gjg
ProxyCommand ssh -a -W %h:%p bastion.wmflabs.org
IdentityFile /home/greg/.ssh/x230_rsa.wmflabs
UserKnownHostsFile ~/.ssh/wmflabs_known_hosts