From: Andoni Duarte Pintado <andoni@isc.org>
Date: Mon, 22 Jun 2026 14:30:37 +0000 (+0200)
Subject: Use resource groups for RPM build CI jobs
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=44431b1689a906e7daa5b64f31bb4c01266c601c;p=thirdparty%2Fbind9.git

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 390a5694feb..f1034b0574f 100644
--- 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|^$| |"