Dzahn has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/361615 )

Change subject: site: remove smokeping role from netmon1001
......................................................................


site: remove smokeping role from netmon1001

This role moved to netmon1002 on stretch and
data has been copied.

Bug: T159756
Change-Id: Idbc43dc074e7bdb61e620500f477d0e0e72c0e4b
---
M manifests/site.pp
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Filippo Giunchedi: Looks good to me, but someone else must approve
  Dzahn: Looks good to me, approved



diff --git a/manifests/site.pp b/manifests/site.pp
index 995f3f3..8c052fb 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -1906,7 +1906,7 @@
 
 # network monitoring tool server
 node 'netmon1001.wikimedia.org' {
-    role(librenms, servermon::wmf, smokeping,
+    role(librenms, servermon::wmf,
       network::monitor)
     include ::passwords::network
     include ::base::firewall

-- 
To view, visit https://gerrit.wikimedia.org/r/361615
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Idbc43dc074e7bdb61e620500f477d0e0e72c0e4b
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Alexandros Kosiaris <[email protected]>
Gerrit-Reviewer: Dzahn <[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

Reply via email to