Dzahn has submitted this change and it was merged. Change subject: statistics/wmde: capitalize resource reference ......................................................................
statistics/wmde: capitalize resource reference 18:12:05 Warning: Deprecation notice: Resource references should now be capitalized on line 122 in file /srv/jenkins-workspace/workspace/operations-puppet-doc/src/modules/statistics/manifests/wmde.pp Change-Id: Icd21c56d732bb7a4d8c3fe5c662b26943b544d11 --- M modules/statistics/manifests/wmde.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Hashar: Looks good to me, but someone else must approve jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/modules/statistics/manifests/wmde.pp b/modules/statistics/manifests/wmde.pp index ca72855..ad42413 100644 --- a/modules/statistics/manifests/wmde.pp +++ b/modules/statistics/manifests/wmde.pp @@ -119,7 +119,7 @@ require => [ Git::Clone['wmde/scripts'], File["${dir}/src/config"], - mysql::config::client['research-wmde'], + Mysql::Config::Client['research-wmde'], ], } -- To view, visit https://gerrit.wikimedia.org/r/319635 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icd21c56d732bb7a4d8c3fe5c662b26943b544d11 Gerrit-PatchSet: 5 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Addshore <addshorew...@gmail.com> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Hoo man <h...@online.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits