+UserKnownHostsFile /dev/null
+AddressFamily inet
+Host ovpn-phx2.redhat.com 209.132.183.3
+Port 330
+User jkratoch
+Host *.redhat.com porkchop devserv barstool 192.168.79.133 shell shell.lab.bos.redhat.com pkgs.devel.redhat.com
+User jkratoch
+StrictHostKeyChecking no
+NumberOfPasswordPrompts 6
+Host git.fedorahosted.org fedorahosted.org *.fsffrance.org
+User jankratochvil
+# https://fedoraproject.org/wiki/Test_Machine_Resources_For_Package_Maintainers
+Host pkgs.fedoraproject.org *.fedorainfracloud.org *.cloud.fedoraproject.org
+User jankratochvil
+
+Host virt
+# 172.1[6-9].* 172.2[0-9].* 172.3[0-1].*