From e7512fcd790fdde4b7f929509cc72cc71519ff7a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Sat, 4 Apr 2020 02:22:00 +0200 Subject: [PATCH] ci: Rename Dockerfile Our primary image now comes from mutter, so the default Dockerfile name is free for our JS image. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1177 --- .gitlab-ci/{Dockerfile.extension-ci => Dockerfile} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .gitlab-ci/{Dockerfile.extension-ci => Dockerfile} (100%) diff --git a/.gitlab-ci/Dockerfile.extension-ci b/.gitlab-ci/Dockerfile similarity index 100% rename from .gitlab-ci/Dockerfile.extension-ci rename to .gitlab-ci/Dockerfile