Yuvipanda has submitted this change and it was merged.
Change subject: tools: Add paws as a separate host
......................................................................
tools: Add paws as a separate host
Bug: T129209
Change-Id: I97618a1f9369e57e232c243b66d6dc896717ce62
---
M modules/toollabs/manifests/monitoring/icinga.pp
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Yuvipanda: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/toollabs/manifests/monitoring/icinga.pp
b/modules/toollabs/manifests/monitoring/icinga.pp
index 4353450..c74b4d2 100644
--- a/modules/toollabs/manifests/monitoring/icinga.pp
+++ b/modules/toollabs/manifests/monitoring/icinga.pp
@@ -26,6 +26,10 @@
host => 'tools.wmflabs.org',
}
+ @monitoring::host { 'paws.wmflabs.org':
+ host_fqdn => 'paws.wmflabs.org',
+ }
+
monitoring::service { 'paws_main_page':
description => 'PAWS Main page',
check_command => 'check_http_url!paws.wmflabs.org!/paws/hub/login',
--
To view, visit https://gerrit.wikimedia.org/r/276090
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I97618a1f9369e57e232c243b66d6dc896717ce62
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Yuvipanda <yuvipa...@wikimedia.org>
Gerrit-Reviewer: Yuvipanda <yuvipa...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
