jenkins-bot has submitted this change and it was merged.
Change subject: Add Gather to #wikimedia-mobile
......................................................................
Add Gather to #wikimedia-mobile
Change-Id: I292499e7f4202b10b3d975a53aa40fd5926d49a9
---
M config.yaml
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Merlijn van Deen: Looks good to me, approved
jenkins-bot: Verified
diff --git a/config.yaml b/config.yaml
index fc7ebb8..1edc481 100644
--- a/config.yaml
+++ b/config.yaml
@@ -99,6 +99,7 @@
"mediawiki/extensions/ZeroBanner",
"mediawiki/extensions/ZeroPortal",
"mediawiki/extensions/WikiGrok",
+ "mediawiki/extensions/Gather",
"apps/.*"
}
"#wikimedia-operations": {
--
To view, visit https://gerrit.wikimedia.org/r/190677
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I292499e7f4202b10b3d975a53aa40fd5926d49a9
Gerrit-PatchSet: 2
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Merlijn van Deen <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
