Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/365432 )
Change subject: servermon: remove role from netmon1001 ...................................................................... servermon: remove role from netmon1001 This is now running on netmon1003, remove role from netmon1001 so that there is no additional "make updates" cron running and talking to db. One step closer to decom netmon1001. Bug: T170653 Change-Id: I4cca02ff082a913dad2de5fcf2dc91c9fe1cc3e8 --- M manifests/site.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/manifests/site.pp b/manifests/site.pp index 43eec802..488d708 100644 --- a/manifests/site.pp +++ b/manifests/site.pp @@ -1785,7 +1785,7 @@ # network monitoring tool server node 'netmon1001.wikimedia.org' { - role(network::monitor, librenms, servermon::wmf) + role(network::monitor, librenms) interface::add_ip6_mapped { 'main': } } -- To view, visit https://gerrit.wikimedia.org/r/365432 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4cca02ff082a913dad2de5fcf2dc91c9fe1cc3e8 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Alexandros Kosiaris <akosia...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Faidon Liambotis <fai...@wikimedia.org> Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits