Temporarily disable push step in Jenkinsfile

This is to avoid collisions with the more stable build from the "bats" branch.
docker · Oct 1, 2018 · 79806a2 · 79806a2
1 parent 8ee694b
commit 79806a2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -71,7 +71,7 @@ pipeline {
                 }
             }
         }
-        stage ('Push') {
+/*        stage ('Push') {
             steps {
                 script {
                     docker.withRegistry('https://registry.hub.docker.com/', "dockerhub-$maintainer") {
@@ -81,10 +81,11 @@ pipeline {
                 }
             }
         }
+*/
         stage ('Notify') {
             steps {
                 echo "$maintainer"
-                slackSend color: 'good', message: "$maintainer/$imagename:$tag pushed to DockerHub"
+                slackSend color: 'good', message: "$maintainer/$imagename:$tag built but NOT pushed to DockerHub (push temporarily disabled for this branch)"
             }
         }
     }