From 553e3bccd3b7c5681e4a3d9c524f14b082e4b66f Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 21 Sep 2022 10:22:03 +0200
Subject: [PATCH] Update 'Jenkinsfile'

set params.GIT_BRANCH to the checkout git command
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3b448ee..6769adb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,7 +30,7 @@ pipeline {
                 echo " env GIT_BRANCH: ${params.GIT_BRANCH}"
                 echo " GIT_URL: ${GIT_URL}"
                 echo " GIT_BRANCH: ${GIT_BRANCH}"
-                git branch: '${GIT_BRANCH}', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', url: "${GIT_URL}"
+                git branch: '${params.GIT_BRANCH}', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', url: "${GIT_URL}"
             }
         }
         stage('Build the job') {