Dzahn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/296943
Change subject: lint:ignore the last puppet URL without modules
......................................................................
lint:ignore the last puppet URL without modules
Eventually this can be moved into the icinga module
or elsewhere. For now ignore it because it is the very last
warning about this in the entire repo and submodules.
Change-Id: Iecae9e447ad254d36279a680d1ca379e0316c4a3
---
M manifests/config.pp
1 file changed, 2 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet/mariadb
refs/changes/43/296943/1
diff --git a/manifests/config.pp b/manifests/config.pp
index ccb5fa9..adeaef2 100644
--- a/manifests/config.pp
+++ b/manifests/config.pp
@@ -83,12 +83,14 @@
mode => '0755',
}
+ # lint:ignore:puppet_url_without_modules
file { '/usr/lib/nagios/plugins/check_mariadb.pl':
owner => 'root',
group => 'root',
mode => '0755',
source => 'puppet:///files/icinga/check_mariadb.pl',
}
+ # lint:endignore
if ($ssl == 'on' or $ssl == 'puppet-cert') {
--
To view, visit https://gerrit.wikimedia.org/r/296943
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Iecae9e447ad254d36279a680d1ca379e0316c4a3
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet/mariadb
Gerrit-Branch: master
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
