[MediaWiki-commits] [Gerrit] WM-Bot -> #wm-bot - change (labs...wikibugs2)
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 Gerrit-Reviewer: Legoktm Gerrit-Reviewer: Merlijn van Deen Gerrit-Reviewer: Technical 13 Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] WM-Bot -> #wm-bot - change (labs...wikibugs2)
Merlijn van Deen has uploaded a new change for review. https://gerrit.wikimedia.org/r/184201 Change subject: WM-Bot -> #wm-bot .. WM-Bot -> #wm-bot Change-Id: I483924856ee573c597bca0e8f9863c732b6f8308 --- M channels.yaml 1 file changed, 3 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/labs/tools/wikibugs2 refs/changes/01/184201/1 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: newchange Gerrit-Change-Id: I483924856ee573c597bca0e8f9863c732b6f8308 Gerrit-PatchSet: 1 Gerrit-Project: labs/tools/wikibugs2 Gerrit-Branch: master Gerrit-Owner: Merlijn van Deen ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits