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

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 07bc6031..e0e7a800 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -56,7 +56,7 @@ pipeline {
 
                 withCredentials([sshUserPrivateKey(
                     credentialsId: 'jenkins-agent',
-                    usernameVariable: 'user'
+                    usernameVariable: 'user',
                     keyFileVariable: 'identityFile'
                 )]) {
                     remote.name = 'reprepro'