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

Change subject: screen-monitor: whitelist deployment servers
......................................................................


screen-monitor: whitelist deployment servers

screen sessions are common on deployment servers, let
deployers have them and whitelist servers using this role.

Bug: T165348
Change-Id: Idad2b8029c53d15e5a971c6a291c819317595880
---
M hieradata/role/common/deployment_server.yaml
1 file changed, 4 insertions(+), 0 deletions(-)

Approvals:
  jenkins-bot: Verified
  Dzahn: Looks good to me, approved



diff --git a/hieradata/role/common/deployment_server.yaml 
b/hieradata/role/common/deployment_server.yaml
index 1f1171d..d9d13cf 100644
--- a/hieradata/role/common/deployment_server.yaml
+++ b/hieradata/role/common/deployment_server.yaml
@@ -17,6 +17,9 @@
   - analytics-admins
   - gerrit-root
 
+# screen sessions are common on deployment servers (T165348)
+monitor_screens: false
+
 # Newer git version, not needed on stretch - T140927
 apt::use_experimental: true
 
@@ -175,3 +178,4 @@
     repository: search/MjoLniR
   statsv/statsv:
     repository: analytics/statsv
+

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Idad2b8029c53d15e5a971c6a291c819317595880
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to