From ab88575c724f40b192f965f55ddb12b98e654516 Mon Sep 17 00:00:00 2001
From: Juan Ferrer Toribio <juan@verdnatura.es>
Date: Fri, 5 Jul 2024 13:02:48 +0200
Subject: [PATCH] ci: refs #7643 Reprepro SSH credentials fix

---
 Jenkinsfile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e6d7215f..f69d1031 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -61,12 +61,13 @@ pipeline {
                     usernameVariable: 'user',
                     keyFileVariable: 'identityFile'
                 )]) {
-                    remote.user = user
-                    remote.identityFile = identityFile
-                    remote.name = 'reprepro'
-                    remote.host = 'reprepro.reprepro'
-                    remote.allowAnyHosts = true
-
+                    script {
+                        remote.user = user
+                        remote.identityFile = identityFile
+                        remote.name = 'reprepro'
+                        remote.host = 'reprepro.reprepro'
+                        remote.allowAnyHosts = true
+                    }
                     sshPut([
                         remote: remote,
                         from: "$debFile",