From f4cd2d79d25f98b6e763951c6c16a81a999506c2 Mon Sep 17 00:00:00 2001 From: marko-bekhta Date: Mon, 15 Sep 2025 12:07:54 +0200 Subject: [PATCH] [#2506] Use Jenkins lock to prevent multiple releases pushing to the hibernate.org at the same time --- ci/release/Jenkinsfile | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index 6e4aacc33..f44fda97f 100644 --- a/ci/release/Jenkinsfile +++ b/ci/release/Jenkinsfile @@ -239,12 +239,15 @@ pipeline { ]) { sshagent( ['ed25519.Hibernate-CI.github.com', 'hibernate.filemgmt.jboss.org', 'hibernate-ci.frs.sourceforge.net'] ) { dir( '.release/hibernate.org' ) { - checkout scmGit( - branches: [[name: '*/production']], - extensions: [], - userRemoteConfigs: [[credentialsId: 'ed25519.Hibernate-CI.github.com', url: 'https://github.com/hibernate/hibernate.org.git']] - ) - sh "../scripts/website-release.sh ${env.SCRIPT_OPTIONS} ${env.PROJECT} ${env.RELEASE_VERSION}" + // Lock to avoid rejected pushes when multiple releases try to clone-commit-push + lock('hibernate.org-git') { + checkout scmGit( + branches: [[name: '*/production']], + extensions: [], + userRemoteConfigs: [[credentialsId: 'ed25519.Hibernate-CI.github.com', url: 'https://github.com/hibernate/hibernate.org.git']] + ) + sh "../scripts/website-release.sh ${env.SCRIPT_OPTIONS} ${env.PROJECT} ${env.RELEASE_VERSION}" + } } } }