jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404233 )
Change subject: Update linter stats for commonswiki less frequently
......................................................................
Update linter stats for commonswiki less frequently
Bug: T184280
Change-Id: I64667a1932696ff4418ad05a72455d6a7e1b875e
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Thcipriani: Looks good to me, approved
Legoktm: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 099c9b5..39dccc7 100755
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -14631,6 +14631,7 @@
'wgLinterStatsdSampleFactor' => [
'default' => 1000,
+ 'commonswiki' => 5000, // T184280
'small' => 50,
'medium' => 100,
],
--
To view, visit https://gerrit.wikimedia.org/r/404233
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I64667a1932696ff4418ad05a72455d6a7e1b875e
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Subramanya Sastry <ssas...@wikimedia.org>
Gerrit-Reviewer: Jcrespo <jcre...@wikimedia.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: Urbanecm <martin.urba...@wikimedia.cz>
Gerrit-Reviewer: Zoranzoki21 <zorandori4...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
