Host live.gnome.org extensions.gnome.org puppet.gnome.org view.gnome.org cloud.gnome.org
     User root
     IdentityFile /usr/local/etc/gnome_backup_id.rsa
     ProxyCommand ssh -W %h:%p bastion.gnome.org -F /usr/local/etc/gnome_ssh_config

Host *.gnome.org pentagon.gimp.org
     User root
     IdentityFile /usr/local/etc/gnome_backup_id.rsa