Jcrespo has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/375347 )
Change subject: pr_index table is not private
......................................................................
pr_index table is not private
Bug: T113842
Change-Id: I37756dbf17d6fd5a44c8990ec30259f1443494bd
---
M manifests/realm.pp
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, but someone else must approve
jenkins-bot: Verified
Jcrespo: Looks good to me, approved
diff --git a/manifests/realm.pp b/manifests/realm.pp
index 5319fef..037e745 100644
--- a/manifests/realm.pp
+++ b/manifests/realm.pp
@@ -198,7 +198,6 @@
'old_growth',
'oldimage_old',
'optin_survey',
- 'pr_index',
'prefstats',
'prefswitch_survey',
'profiling',
--
To view, visit https://gerrit.wikimedia.org/r/375347
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I37756dbf17d6fd5a44c8990ec30259f1443494bd
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Tpt <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Jcrespo <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
