Remove correct git directory
This commit is contained in:
parent
84ad49dadc
commit
990ca64225
1 changed files with 1 additions and 1 deletions
|
@ -17,7 +17,7 @@ RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/Ope
|
||||||
rm -rf OpenIDConnect/.git
|
rm -rf OpenIDConnect/.git
|
||||||
|
|
||||||
RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/Widgets; \
|
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
|
FROM docker.io/library/unit:php8.2
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue