[Ci-users] CentOS CI infra changes: retiring ci.centos.org legacy jenkins