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")
                             }
                         }