Host *.test.redhat.com *.lab.boston.redhat.com *.rhts.boston.redhat.com *.z900.redhat.com
UserKnownHostsFile /dev/null
Host porkchop
Host *.test.redhat.com *.lab.boston.redhat.com *.rhts.boston.redhat.com *.z900.redhat.com
UserKnownHostsFile /dev/null
Host porkchop