Filippo Giunchedi has uploaded a new change for review. ( 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(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/62/344662/1 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: newchange Gerrit-Change-Id: I0cc7857c37c27ea18d87295e0d16d988d7460ae4 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits