Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/335418 )
Change subject: zuul: Linting changes
......................................................................
zuul: Linting changes
Change-Id: Ibf28d2ccfefbaa912b0cad08662af6b73363de90
---
M modules/zuul/manifests/monitoring/merger.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/zuul/manifests/monitoring/merger.pp
b/modules/zuul/manifests/monitoring/merger.pp
index 1c7ff58..d5598b2 100644
--- a/modules/zuul/manifests/monitoring/merger.pp
+++ b/modules/zuul/manifests/monitoring/merger.pp
@@ -7,7 +7,7 @@
nrpe::monitor_service { 'zuul_merger':
description => 'zuul_merger_service_running',
contact_group => 'contint',
- nrpe_command => "/usr/lib/nagios/plugins/check_procs -w 1:1 -c 1:1
--ereg-argument-array '^/usr/share/python/zuul/bin/python /usr/bin/zuul-merger'"
+ nrpe_command => "/usr/lib/nagios/plugins/check_procs -w 1:1 -c 1:1
--ereg-argument-array '^/usr/share/python/zuul/bin/python
/usr/bin/zuul-merger'",
}
nrpe::monitor_service { 'zuul_merger_git_daemon':
--
To view, visit https://gerrit.wikimedia.org/r/335418
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibf28d2ccfefbaa912b0cad08662af6b73363de90
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Juniorsys <juniorsys_wikime...@outlook.com>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
