From aa2a8b5f13fd15590b1ba3f9413f38bf3fb8dbb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yoann=20Rodi=C3=A8re?= <yoann@hibernate.org>
Date: Thu, 9 Sep 2021 17:44:49 +0200
Subject: [PATCH] HSEARCH-4274 Add GitHub SSH keys to SSH agent during
 Jenkinsfile release

So that we can push to the repository.
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 35aba9f1105..3a12555f68d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -396,7 +396,7 @@ stage('Deploy') {
 		runBuildOnNode {
 			helper.withMavenWorkspace(mavenSettingsConfig: params.RELEASE_DRY_RUN ? null : helper.configuration.file.deployment.maven.settingsId) {
 				configFileProvider([configFile(fileId: 'release.config.ssh', targetLocation: env.HOME + '/.ssh/config')]) {
-					sshagent(['hibernate.filemgmt.jboss.org', 'hibernate-ci.frs.sourceforge.net']) {
+					sshagent(['ed25519.Hibernate-CI.github.com', 'hibernate.filemgmt.jboss.org', 'hibernate-ci.frs.sourceforge.net']) {
 						sh 'cat $HOME/.ssh/config'
 						sh "git clone https://github.com/hibernate/hibernate-noorm-release-scripts.git"
 						sh "bash -xe hibernate-noorm-release-scripts/prepare-release.sh search ${releaseVersion.toString()}"