Host puppetmaster01.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 oscp-master01.gnome.org 
     User root
     IdentityFile /usr/local/etc/gnome_backup_id.rsa
     ProxyCommand ssh -W %h:%p gesture.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