From 2a0ad17388a7c0708d2245a3e21b8d0165e916d1 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 19 Oct 2023 16:14:13 +0200
Subject: [PATCH] fix curl call

---
 JenkinsFile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/JenkinsFile b/JenkinsFile
index bd491ca..ecbe24a 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -45,12 +45,12 @@ pipeline {
     always {
       script {
 	withCredentials([string(credentialsId: 'is-registry-devnext-hook', variable: 'REGISTRY_DEVNEXT')]) {
-	    sh "curl -v $REGISTRY_DEVNEXT"
+	    sh "curl -v -X POST  $REGISTRY_DEVNEXT"
 	}
       }
       script {
 	withCredentials([string(credentialsId: 'is-registry-devsec-hook', variable: 'REGISTRY_DEVSEC')]) {
-    	    sh "curl -v $REGISTRY_DEVSEC"
+    	    sh "curl -v -X POST  $REGISTRY_DEVSEC"
 	}
       }
     }