Florianschmidtwelzow has uploaded a new change for review. https://gerrit.wikimedia.org/r/208134
Change subject: Remove definitions for #wikimedia-mobile ...................................................................... Remove definitions for #wikimedia-mobile Redirect them to #wikimedia-dev (by default) Bug: T97798 Change-Id: I0dd7981167e403b3e7cc6999939e40e1d400f104 --- M config.yaml 1 file changed, 0 insertions(+), 10 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/labs/tools/grrrit refs/changes/34/208134/1 diff --git a/config.yaml b/config.yaml index 99fb964..2f014da 100644 --- a/config.yaml +++ b/config.yaml @@ -108,16 +108,6 @@ mediawiki/extensions/Mantle: "#wikimedia-labs": labs/.*: - "#wikimedia-mobile": - mediawiki/extensions/MobileFrontend: - mediawiki/extensions/JsonConfig: - mediawiki/extensions/ZeroBanner: - mediawiki/extensions/ZeroPortal: - mediawiki/extensions/WikiGrok: - mediawiki/extensions/Gather: - apps/.*: - # This is sent to #wikimedia-corefeatures too. - mediawiki/extensions/Mantle: "#wikimedia-operations": # Do not post betacluster stuff here operations.*: -- To view, visit https://gerrit.wikimedia.org/r/208134 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I0dd7981167e403b3e7cc6999939e40e1d400f104 Gerrit-PatchSet: 1 Gerrit-Project: labs/tools/grrrit Gerrit-Branch: master Gerrit-Owner: Florianschmidtwelzow <florian.schmidt.wel...@t-online.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits