jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/384680 )
Change subject: docker: mediawiki-phan use phan/phan instead of etsy/phan
......................................................................
docker: mediawiki-phan use phan/phan instead of etsy/phan
etsy/phan is Abandoned in favour of phan/phan
Change-Id: I345981c39c482d6e0df03090ccfb939a70267d14
---
M dockerfiles/mediawiki-phan/Dockerfile
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dockerfiles/mediawiki-phan/Dockerfile
b/dockerfiles/mediawiki-phan/Dockerfile
index 0d8e316..f4c8c8d 100644
--- a/dockerfiles/mediawiki-phan/Dockerfile
+++ b/dockerfiles/mediawiki-phan/Dockerfile
@@ -9,7 +9,7 @@
USER nobody
RUN cd /srv/phan && \
- composer require etsy/phan:0.8 && \
+ composer require phan/phan:0.8 && \
rm -rf /cache/*
COPY run.sh /run.sh
--
To view, visit https://gerrit.wikimedia.org/r/384680
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I345981c39c482d6e0df03090ccfb939a70267d14
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
