From ac942480cbefc1ee401774570f219aae7a5b273b Mon Sep 17 00:00:00 2001
From: cclecle <clement.chastanier@gmail.com>
Date: Sun, 19 Mar 2023 10:34:34 +0000
Subject: [PATCH] feature: add log-line in pipeline

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3498fcb..7e4d9bb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -148,8 +148,8 @@ pipeline {
                         {
                             if(sh(returnStdout:  true, script: "git tag --points-at HEAD").trim().isEmpty())
                             {
+                                echo "master push/merge must have an explicit tag release number, stopping pipeline"
                                 currentBuild.getRawBuild().getExecutor().doStop()
-                                //error("master push/merge must have an explicit tag release number")
                             }
                         }
                     
-- 
2.47.3