ci: Various improvements
This series significantly reduces the amount of duplication in the GitLab CI configuration and removes the local require-dco.sh
script after making it obsolete.
It also fixes a bug where RPM builds were no longer being performed as part of the pipeline.