[MediaWiki-commits] [Gerrit] Broadcast mw-ext-ORES changes to #wikimedia-ai - change (labs...grrrit)

2015-10-19 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Broadcast mw-ext-ORES changes to #wikimedia-ai
..


Broadcast mw-ext-ORES changes to #wikimedia-ai

More components coming soon?  This project is mostly developed under
https://github.com/wiki-ai/

Change-Id: Iaae7ed2870e7f8ba0b70e8f3e0476c974cbfb198
---
M config.yaml
1 file changed, 4 insertions(+), 0 deletions(-)

Approvals:
  Yuvipanda: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/config.yaml b/config.yaml
index 98b7cc7..29ea577 100644
--- a/config.yaml
+++ b/config.yaml
@@ -55,11 +55,15 @@
 mediawiki/extensions/Maps:
 mediawiki/extensions/RDFIO:
 mediawiki/extensions/SolrStore:
+"#wikimedia-ai":
+mediawiki/extensions/ORES:
 "#wikimedia-analytics":
 analytics/.*:
 "#wikimedia-perf":
 performance.*:
 "#wikimedia-dev":
+# This is also sent to #wikimedia-ai
+mediawiki/extensions/ORES:
 # These are sent to #wikimedia-collaboration too
 mediawiki/extensions/Echo:
 mediawiki/extensions/Flow:

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Iaae7ed2870e7f8ba0b70e8f3e0476c974cbfb198
Gerrit-PatchSet: 2
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Awight 
Gerrit-Reviewer: Awight 
Gerrit-Reviewer: Halfak 
Gerrit-Reviewer: Ladsgroup 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Madhuvishy 
Gerrit-Reviewer: Merlijn van Deen 
Gerrit-Reviewer: Yuvipanda 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Broadcast mw-ext-ORES changes to #wikimedia-ai - change (labs...grrrit)

2015-10-18 Thread Awight (Code Review) 
Awight has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/247183

Change subject: Broadcast mw-ext-ORES changes to #wikimedia-ai
..

Broadcast mw-ext-ORES changes to #wikimedia-ai

More components coming soon?  This project is mostly developed under
https://github.com/wiki-ai/

Change-Id: Iaae7ed2870e7f8ba0b70e8f3e0476c974cbfb198
---
M config.yaml
1 file changed, 2 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/labs/tools/grrrit 
refs/changes/83/247183/1

diff --git a/config.yaml b/config.yaml
index 98b7cc7..4f583a7 100644
--- a/config.yaml
+++ b/config.yaml
@@ -55,6 +55,8 @@
 mediawiki/extensions/Maps:
 mediawiki/extensions/RDFIO:
 mediawiki/extensions/SolrStore:
+"#wikimedia-ai":
+mediawiki/extensions/ORES:
 "#wikimedia-analytics":
 analytics/.*:
 "#wikimedia-perf":

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iaae7ed2870e7f8ba0b70e8f3e0476c974cbfb198
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Awight 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits