Filippo Giunchedi has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344662 )
Change subject: nagios: use members for wikitech-static contactgroup
......................................................................
nagios: use members for wikitech-static contactgroup
Swap 'admins' (contactgroup) with 'irc' (contact) to keep consistent with the
rest of contactgroups
Change-Id: I0cc7857c37c27ea18d87295e0d16d988d7460ae4
---
M modules/nagios_common/files/contactgroups.cfg
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
diff --git a/modules/nagios_common/files/contactgroups.cfg
b/modules/nagios_common/files/contactgroups.cfg
index 0637176..c08ef24 100644
--- a/modules/nagios_common/files/contactgroups.cfg
+++ b/modules/nagios_common/files/contactgroups.cfg
@@ -93,7 +93,7 @@
define contactgroup {
contactgroup_name wikitech-static
- members admins
+ members irc
}
define contactgroup {
--
To view, visit https://gerrit.wikimedia.org/r/344662
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0cc7857c37c27ea18d87295e0d16d988d7460ae4
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
