Host *
  ForwardAgent yes
  AddKeysToAgent yes

Host penguincoder.org
  Port 2223
  IdentityFile ~/.ssh/selfhosted

Host git.penguincoder.org
  Port 2222
  User git
  IdentityFile ~/.ssh/gitea
  ProxyCommand none

Host helium helium.penguincoder.org
  HostName 192.168.1.50

Host potassium potassium.penguincoder.org
  HostName 192.168.1.60
  ProxyCommand none

Host *.penguincoder.org !git.penguincoder.org
  IdentityFile ~/.ssh/selfhosted
  ProxyCommand ssh -W %h:%p penguincoder.org -p 2223

Host github.com
  User git
  IdentityFile ~/.ssh/github