I have been trying to run a few jobs using CentOS 7. I noticed that
makes no mention
of the "extras" repository at
Should we do this for CentOS as we do for "Fedora everything"? That is, check if
exists, and it does, add it as well?