[puppet][TripleO] Is the OpenDev yum-puppetlabs mirror still used?