From e86e95bc58c9d823eb3fc50b8bdd0f113e03943e Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Tue, 20 Sep 2022 15:28:43 +0200
Subject: [PATCH] Update 'Jenkinsfile'

remove param section
---
 Jenkinsfile | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d475255..4dd4e6a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,14 +15,6 @@ pipeline {
         GIT_URL= "${params.GIT_URL}"
         GIT_BRANCH= "${params.GIT_BRANCH}"
     }
-    parameters {
-     string(name: 'GIT_URL',
-             defaultValue: '',
-             description: 'git url')
-     string(name: 'GIT_BRANCH',
-             defaultValue: '',
-             description: 'git branch')
-    }
     stages {
         stage('Checkout git project') {
             steps {