Hi folks, I'm thinking about how we can migrate some of the jobs on jenkins.ceph.com to ci.centos.org. One of the barriers to entry for Ceph is that our jenkins.ceph.com jobs output both RPMs and DEBs for every branch, and keeping parity between the two formats is important. If we "brought our own" Jenkins slaves for building .deb packages, could we use the ci.centos.org infrastructure? - Ken