jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/401595 )
Change subject: Remove CheckModelVersions.php from ores role ...................................................................... Remove CheckModelVersions.php from ores role It's not needed anymore Bug: T183468 Change-Id: I59d6c47e6126684bb78fae7a8ba559876007f4e9 --- M puppet/modules/role/manifests/ores.pp 1 file changed, 0 insertions(+), 6 deletions(-) Approvals: jenkins-bot: Verified Awight: Looks good to me, approved diff --git a/puppet/modules/role/manifests/ores.pp b/puppet/modules/role/manifests/ores.pp index 2240030..d912258 100644 --- a/puppet/modules/role/manifests/ores.pp +++ b/puppet/modules/role/manifests/ores.pp @@ -24,12 +24,6 @@ }, } - mediawiki::maintenance { 'check ORES model versions': - command => '/usr/local/bin/mwscript extensions/ORES/maintenance/CheckModelVersions.php --wiki=wiki', - unless => "/usr/bin/mysql -u root -p${::mysql::root_password} -e 'select * from ores_model' wiki | /bin/grep -q 'damaging'", - require => Mediawiki::Extension['ORES'], - } - # Ensure that the maintenance script does not run before the API is alive, # when ORES is installed locally via role::ores_service. # This is pretty horrible but seems to be the only way of avoiding cycles. -- To view, visit https://gerrit.wikimedia.org/r/401595 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I59d6c47e6126684bb78fae7a8ba559876007f4e9 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Ladsgroup <ladsgr...@gmail.com> Gerrit-Reviewer: Awight <awi...@wikimedia.org> Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org> Gerrit-Reviewer: Dduvall <dduv...@wikimedia.org> Gerrit-Reviewer: Gergő Tisza <gti...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits