Merlijn van Deen has submitted this change and it was merged.
Change subject: added #wikimedia-interactive
......................................................................
added #wikimedia-interactive
Change-Id: I747c51bf38943abf4e5bec38b45614cfeea43ecf
---
M config.yaml
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Merlijn van Deen: Looks good to me, approved
jenkins-bot: Verified
diff --git a/config.yaml b/config.yaml
index a282294..79f2b08 100644
--- a/config.yaml
+++ b/config.yaml
@@ -44,6 +44,10 @@
mediawiki/services/citoid:
mediawiki/services/graphoid:
mediawiki/services/mathoid:
+ "#wikimedia-interactive":
+ mediawiki/extensions/Graph:
+ mediawiki/extensions/Kartographer:
+ mediawiki/services/graphoid:
"#pywikibot":
pywikipediabot.*:
pywikibot.*:
--
To view, visit https://gerrit.wikimedia.org/r/284270
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I747c51bf38943abf4e5bec38b45614cfeea43ecf
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Yurik <[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
