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

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