From e1ec8a24be380667db98159874d3d2ddc8dc6a4a Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 27 Sep 2023 11:16:40 +0200
Subject: [PATCH] Update 'JenkinsFile'

change branch from master to main
---
 JenkinsFile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/JenkinsFile b/JenkinsFile
index 0e29ce3..868a400 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -11,7 +11,7 @@ pipeline {
   stages {
     stage('Cloning Git') {
       steps {
-        git([url: git_url, branch: 'master', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346'])
+        git([url: git_url, branch: 'main', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346'])
 
       }
     }