jenkins-bot has submitted this change and it was merged.

Change subject: Report labs/private to #wikimedia-operations
......................................................................


Report labs/private to #wikimedia-operations

I'd also like to remove it from #wikimedia-labs, but I'm not
sure how to do that.

Change-Id: I0f00281a34bce7906d8b2ebbfeebbd50baf8e4fd
---
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 ccadc31..fb2b3e3 100644
--- a/config.yaml
+++ b/config.yaml
@@ -129,6 +129,7 @@
             branch: "^(?!betacluster)"
         wikimedia/bugzilla/modifications:
         wikimedia/bots/jouncebot:
+        labs/private:
         # This is sent to #wikimedia-releng too.
     "#wikimedia-releng":
         mediawiki/selenium:

-- 
To view, visit https://gerrit.wikimedia.org/r/266769
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0f00281a34bce7906d8b2ebbfeebbd50baf8e4fd
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Merlijn van Deen <[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

Reply via email to