centos-ci-scripts Some scripts folks might find useful when working with the https://ci.centos.org/ infra