jenkins-bot has submitted this change and it was merged.
Change subject: WM-Bot -> #wm-bot
......................................................................
WM-Bot -> #wm-bot
Change-Id: I483924856ee573c597bca0e8f9863c732b6f8308
---
M channels.yaml
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Merlijn van Deen: Looks good to me, approved
Technical 13: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/channels.yaml b/channels.yaml
index 21c90dc..a2e3a4f 100644
--- a/channels.yaml
+++ b/channels.yaml
@@ -14,6 +14,9 @@
# lambda x: x.get("X-Bugzilla-Product", None) == "Pywikibot",
- Pywikibot(-.*)?
+ "#wm-bot":
+ - WM-Bot
+
"#wikidata":
- Wikidata
# x.get("X-Bugzilla-Product", None) in ["MediaWiki extensions"] and
--
To view, visit https://gerrit.wikimedia.org/r/184201
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I483924856ee573c597bca0e8f9863c732b6f8308
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/wikibugs2
Gerrit-Branch: master
Gerrit-Owner: Merlijn van Deen <valhall...@arctus.nl>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Merlijn van Deen <valhall...@arctus.nl>
Gerrit-Reviewer: Technical 13 <technical...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
