From 953e88703843c03abdd441259ac3e105cba61561 Mon Sep 17 00:00:00 2001
From: Pavol Mederly <mederly@evolveum.com>
Date: Wed, 3 Oct 2018 22:04:11 +0200
Subject: [PATCH] Re-enable pushing of 'master' image to Docker hub

---
 Jenkinsfile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 23b655b..dac92f0 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,11 +81,10 @@ pipeline {
                 }
             }
         }
-*/
         stage ('Notify') {
             steps {
                 echo "$maintainer"
-                slackSend color: 'good', message: "$maintainer/$imagename:$tag built but NOT pushed to DockerHub (push temporarily disabled for this branch)"
+                slackSend color: 'good', message: "$maintainer/$imagename:$tag pushed to DockerHub"
             }
         }
     }