commit dc869154621cc67d3a3b0decd9344b815ed89d07
author Carlos Sanchez <carlos@apache.org> Tue Mar 07 20:21:30 2017 +0100
committer Carlos Sanchez <carlos@apache.org> Tue Mar 07 20:21:30 2017 +0100
tree c7db9cd25395d1c0aa6328765cc2662d1f5fa79e
parent 09f1e500a6751cfa058e42d50a415627dad6e346

Push the right tag

publish.sh

diff --git a/publish.sh b/publish.sh
index 47d1f38..d435b17 100755
--- a/publish.sh
+++ b/publish.sh
@@ -132,7 +132,10 @@
         echo "Creating tag ${target} pointing to ${source}"
         docker-tag "${source}" "${target}"
         if [ ! "$dry_run" = true ]; then
-            docker push "jenkinsci/jenkins:${source}"
+            echo "Pushing jenkinsci/jenkins:${target}"
+            docker push "jenkinsci/jenkins:${target}"
+        else
+            echo "Would push jenkinsci/jenkins:${target}"
         fi
     fi
 }