# BigPanda servers

Host github-bp
HostName github.com
User git
IdentityFile ~/.ssh/bigpanda

Host ender
HostName 54.176.213.1
User nimrod
IdentityFile ~/.ssh/bigpanda

Host prod-* stage-* staging* demo* *.bigpanda.io
User ubuntu
IdentityFile ~/.ssh/bigpanda
ProxyCommand ssh ender nc %h %p
