Commit 2b1c9c6887506b682af4e6255562324d7cabc0b6

DRC 2018-11-02T11:55:29

Travis: Don't check key server SSL certificate ... when downloading the RPM signing key. Apparently the key server URL sometimes redirects to an https URL, which may explain why fetching the RPM signing keys failed frequently when we used to run wget inside of the CentOS 5 Docker container.