QChris has uploaded a new change for review. https://gerrit.wikimedia.org/r/230936
Change subject: Drop mediawiki/extensions/DataTypes for repo deletion ...................................................................... Drop mediawiki/extensions/DataTypes for repo deletion Bug: T108457 Change-Id: If613902758aa286ffad357b15ef4d5ad7904ead9 --- M zuul/layout.yaml 1 file changed, 0 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/36/230936/1 diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 95a2ba1..c4a663e 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -6244,10 +6244,6 @@ template: - name: mw-checks - - name: mediawiki/extensions/DataTypes - template: - - name: mw-checks - - name: mediawiki/extensions/DetectLanguage template: - name: mw-checks -- To view, visit https://gerrit.wikimedia.org/r/230936 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If613902758aa286ffad357b15ef4d5ad7904ead9 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: QChris <christ...@quelltextlich.at> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits