Use resource groups for RPM build CI jobs

RPM build jobs push commits to Git repositories.  If multiple such jobs
are triggered simultaneously, some of these pushes may fail due to the
same Git branch getting updated by one job while another one attempts to
do the same thing in parallel.  Use GitLab's resource group mechanism to
prevent such races: group jobs by the Git repository they push to, which
is indicated by the $SERVICE variable set for each job.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 390a5694feb2a9639c43e6bfbbcd37929116d66a..f1034b0574f159db3009caf7e74bc2906751c77a 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2147,6 +2147,8 @@ assign-milestones:
 
 .rpm-build-job-common: &rpm_build_job_common
   <<: *manual_release_job_qa
+  # prevent Git push races between pipelines started for different tags
+  resource_group: "rpm-build-${SERVICE}"
   after_script:
     - git -C bind/ remote get-url origin | sed "s|\.git$|/-/commit/$(cat commit.txt)|"
     - git -C bind/ show --color "$(cat commit.txt)" | sed "s|^$| |"