From 3aed62ebc6a3c3d64d451253febf87abf0896870 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 21 Sep 2022 09:59:02 +0200
Subject: [PATCH] Update 'Jenkinsfile'

add gitParameter type
---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0d965b8..3b448ee 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,6 +15,12 @@ pipeline {
         GIT_URL= "${params.GIT_URL}"
         GIT_BRANCH= "${params.GIT_BRANCH}"
     }
+    parameters {
+      string(name: 'GIT_URL',
+             defaultValue: '',
+             description: 'git url')
+      gitParameter branchFilter: 'origin/(.*)', defaultValue: 'master', name: 'GIT_BRANCH', type: 'PT_BRANCH'
+    }  
     stages {
         stage('Checkout git project') {
             steps {