Dzahn has submitted this change and it was merged.

Change subject: contint: drop now unused sudo rule
......................................................................


contint: drop now unused sudo rule

The gerrit-sync-ve-push.sh is no more. It was to workaround a bug in
Gerrit which is now solved.

Remove the sudo rule from gallium, the script has already been deleted
everywhere.

Bug: T51846
Change-Id: I9b10f588cc97af0c7af8a75eaec48cd1fd7768e0
---
M manifests/site.pp
1 file changed, 0 insertions(+), 7 deletions(-)

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



diff --git a/manifests/site.pp b/manifests/site.pp
index 21d78d9..efc46b3 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -1094,13 +1094,6 @@
         zuul::server,
         backup::host)
 
-    # T51846, let us sync VisualEditor in mediawiki/extensions.git
-    sudo::user { 'jenkins-slave':
-        privileges => [
-            'ALL = (jenkins) NOPASSWD: 
/srv/deployment/integration/slave-scripts/bin/gerrit-sync-ve-push.sh',
-        ]
-    }
-
     include standard
     include contint::firewall
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I9b10f588cc97af0c7af8a75eaec48cd1fd7768e0
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to