From 8822bc57a3bd8907569b022b2d76a76491719d39 Mon Sep 17 00:00:00 2001 From: marko-bekhta Date: Wed, 5 Nov 2025 21:12:32 +0100 Subject: [PATCH] Use a different version of release scripts capable to do GitHub releases --- ci/release/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index 94ff877..3f84bee 100644 --- a/ci/release/Jenkinsfile +++ b/ci/release/Jenkinsfile @@ -67,7 +67,7 @@ pipeline { sh 'mvn -v' sh 'cat $HOME/.ssh/config' dir('.release/scripts') { - sh 'git clone https://github.com/hibernate/hibernate-release-scripts.git .' + sh 'git clone --branch test/github-releases https://github.com/hibernate/hibernate-release-scripts.git .' } sh """ bash -xe .release/scripts/release.sh -j ${params.RELEASE_DRY_RUN ? '-d' : ''} \