Found a reference to batcave01.fedoraproject.org, which does not connect/resolve. Immediately below it is a reference to batcave01.iad2.fedoraproject.org, which did resolve and allowed an SSH connection. Updated the first reference.
That was probably just leftover from some old setup.
Pull-Request has been merged by zlopez
Found a reference to batcave01.fedoraproject.org, which does not connect/resolve. Immediately below it is a reference to batcave01.iad2.fedoraproject.org, which did resolve and allowed an SSH connection. Updated the first reference.