Change ci-only Dockerfile location

3f2721cb · Sven-Hendrik Haase · ecb01053 · ecb01053 · ecb01053 · 3f2721cb
Verified Commit 3f2721cb authored Oct 19, 2020 by Sven-Hendrik Haase
--- a/base-devel/Dockerfile
+++ b/base-devel/Dockerfile
--- a/base/Dockerfile
+++ b/base/Dockerfile
--- a/ci/base-devel/Dockerfile
+++ b/ci/base-devel/Dockerfile
+# Don't delete.
+# This is a placeholder so that our `ci/release.py` will work properly.
--- a/ci/base/Dockerfile
+++ b/ci/base/Dockerfile
+# Don't delete.
+# This is a placeholder so that our `ci/release.py` will work properly.
--- a/ci/release.py
+++ b/ci/release.py
@@ -63,12 +63,12 @@ if __name__ == "__main__":
        "actions": [
            {
                "action": "update",
-                "file_path": "base/Dockerfile",
+                "file_path": "ci/base/Dockerfile",
                "content": base_replaced,
            },
            {
                "action": "update",
-                "file_path": "base-devel/Dockerfile",
+                "file_path": "ci/base-devel/Dockerfile",
                "content": base_devel_replaced,
            },
        ],