From 79806a2fce368803f64eb9a88b6561522598c8bd Mon Sep 17 00:00:00 2001
From: Pavol Mederly <mederly@evolveum.com>
Date: Tue, 2 Oct 2018 00:07:44 +0200
Subject: [PATCH] Temporarily disable push step in Jenkinsfile

This is to avoid collisions with the more stable
build from the "bats" branch.
---
 Jenkinsfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b29363f..c1cb934 100644
--- 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)"
             }
         }
     }