From 990ca64225a77f39705c04541d3e0460f8de5cc0 Mon Sep 17 00:00:00 2001 From: Fritz Grimpen Date: Sun, 10 Nov 2024 00:43:24 +0100 Subject: [PATCH] Remove correct git directory --- mediawiki/Containerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mediawiki/Containerfile b/mediawiki/Containerfile index dfaa185..d9b9dc9 100644 --- a/mediawiki/Containerfile +++ b/mediawiki/Containerfile @@ -17,7 +17,7 @@ RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/Ope rm -rf OpenIDConnect/.git RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/Widgets; \ - rm -rf OpenIDConnect/.git + rm -rf Widgets/.git FROM docker.io/library/unit:php8.2