Dzahn has submitted this change and it was merged.
Change subject: icinga: no more misc in pmtpa
......................................................................
icinga: no more misc in pmtpa
Change-Id: Idf526ff9ec0449bb2a2dee36c11c8e9c179e1e03
---
M modules/icinga/manifests/groups/misc.pp
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/icinga/manifests/groups/misc.pp
b/modules/icinga/manifests/groups/misc.pp
index 361f50c..5fd35f4 100644
--- a/modules/icinga/manifests/groups/misc.pp
+++ b/modules/icinga/manifests/groups/misc.pp
@@ -7,10 +7,6 @@
description => 'eqiad misc servers'
}
- @monitor_group { 'misc_pmtpa':
- description => 'pmtpa misc servers'
- }
-
@monitor_group { 'misc_codfw':
description => 'codfw misc servers'
}
--
To view, visit https://gerrit.wikimedia.org/r/165091
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idf526ff9ec0449bb2a2dee36c11c8e9c179e1e03
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Matanya <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Yuvipanda <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits