Filippo Giunchedi has submitted this change and it was merged.
Change subject: icinga: add team-services contactgroup
......................................................................
icinga: add team-services contactgroup
there's a contact named the same in puppet private, however a contactgroup is
wanted by monitoring::service
Bug: T78514
Change-Id: I85f49ef41e011439360632f732c01dd4037ebcf3
---
M modules/icinga/files/contactgroups.cfg
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/icinga/files/contactgroups.cfg
b/modules/icinga/files/contactgroups.cfg
index 5d40c72..9e56432 100644
--- a/modules/icinga/files/contactgroups.cfg
+++ b/modules/icinga/files/contactgroups.cfg
@@ -43,3 +43,8 @@
contactgroup_name wikidata
members wikidata-monitoring,jzerebecki,irc-wikidata,hoo
}
+
+define contactgroup {
+ contactgroup_name team-services
+ members team-services
+}
--
To view, visit https://gerrit.wikimedia.org/r/216893
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I85f49ef41e011439360632f732c01dd4037ebcf3
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
