Add option to skip pushing

publish_images.py

@@ -5,6 +5,7 @@ import sys
 import time
 
 REGISTRY_URL = 'docker.km3net.de'
+SKIP_PUSH = '-q' in sys.argv
 
 
 def get_changed_dockerfiles():
@@ -33,9 +34,12 @@ def main():
 
         steps = [("Building",
                   "docker build --pull -t {0}/{1} -f {1} . ".format(
-                      REGISTRY_URL, fname)),
-                 ("Pushing", "docker push {0}/{1}".format(REGISTRY_URL,
-                                                          fname))]
+                      REGISTRY_URL, fname))]
+        if not SKIP_PUSH:
+            steps.append(("Pushing", "docker push {0}/{1}".format(REGISTRY_URL,
+                                                                  fname)))
+        else:
+            print("Skiping push...")
 
         print('-' * 79)