Gergő Tisza has submitted this change and it was merged.
Change subject: Add puppet+vagrant to config, merge out-of-focus extensions
......................................................................
Add puppet+vagrant to config, merge out-of-focus extensions
Change-Id: If7c067ccf4639ca4646b4489d1f28307b650afbd
---
M default
1 file changed, 4 insertions(+), 8 deletions(-)
Approvals:
Gergő Tisza: Verified; Looks good to me, approved
diff --git a/default b/default
index 3aa38f8..40ef305 100644
--- a/default
+++ b/default
@@ -8,16 +8,12 @@
[section "Core"]
query = project:mediawiki/core status:open (owner:MarkTraceur OR
owner:{Gergő Tisza} OR owner:Gilles) limit:10
[section "Config"]
- query = (project:operations/mediawiki-config OR
project:mediawiki/extensions/MultimediaViewer AND
(ref:refs/meta/dashboards/custom OR ref:refs/meta/config)) status:open
(owner:MarkTraceur OR owner:{Gergő Tisza} OR owner:Gilles) limit:10
+ query = (project:operations/mediawiki-config OR project:operations/puppet OR
project:mediawiki/vagrant OR project:mediawiki/extensions/MultimediaViewer AND
(ref:refs/meta/dashboards/custom OR ref:refs/meta/config)) status:open
(owner:MarkTraceur OR owner:{Gergő Tisza} OR owner:Gilles) limit:10
[section "Metrics"]
query = (project:analytics/multimedia OR
project:analytics/multimedia/config) status:open limit:10
-[section "CommonsMetadata"]
- query = project:mediawiki/extensions/CommonsMetadata status:open limit:10
-[section "TimedMediaHandler"]
- query = project:mediawiki/extensions/TimedMediaHandler status:open limit:10
-[section "GWToolset"]
- query = project:mediawiki/extensions/GWToolset status:open limit:10
+[section "Other (CMD/TMH/GWT)"]
+ query = (project:mediawiki/extensions/CommonsMetadata OR
project:mediawiki/extensions/TimedMediaHandler OR
project:mediawiki/extensions/GWToolset) status:open limit:15
[section "BetaFeatures"]
- query = project:mediawiki/extensions/BetaFeatures status:open limit:10
+ query = project:mediawiki/extensions/BetaFeatures status:open limit:5
[section "Recently merged"]
query = status:merged NOT owner:L10n-bot (owner:MarkTraceur OR owner:{Gergő
Tisza} OR owner:Gilles OR project:mediawiki/extensions/MultimediaViewer OR
project:mediawiki/core OR project:operations/mediawiki-config OR
project:analytics/multimedia OR project:analytics/multimedia/config OR
project:mediawiki/extensions/CommonsMetadata OR
project:mediawiki/extensions/UploadWizard OR
project:mediawiki/extensions/BetaFeatures) limit:20
--
To view, visit https://gerrit.wikimedia.org/r/130643
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If7c067ccf4639ca4646b4489d1f28307b650afbd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MultimediaViewer
Gerrit-Branch: refs/meta/dashboards/custom
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: Gergő Tisza <gti...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
