Merge pull request #444 from camptocamp/push-latest-github

The latest image on specific server should also be re tagged
camptocamp · Feb 15, 2022 · c0a6e0a · c0a6e0a
2 parents 9aedcb2 + 2090179
commit c0a6e0a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/c2cciutils/publish.py b/c2cciutils/publish.py
@@ -327,6 +327,11 @@ def docker(
                 ],
                 check=True,
             )
+            if latest:
+                subprocess.run(
+                    ["docker", "tag",  f"{image_config['name']}:{tag_src}", f"{config['server']}/{image_config['name']}:{tag_src}"],
+                    check=True,
+                )
             subprocess.run(
                 [
                     "docker",