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

Change subject: Tools: Do not install adminbot
......................................................................


Tools: Do not install adminbot

The package adminbot was used exclusively by the tool morebots which
has been replaced by the tool stashbot.

Bug: T157400
Change-Id: I8c875b5a027f9155edccb351befe2ca4701154f9
---
M modules/toollabs/manifests/exec_environ.pp
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Rush: Looks good to me, approved
  BryanDavis: Looks good to me, but someone else must approve
  jenkins-bot: Verified

Objections:
  Tim Landscheidt: There's a problem with this change, please improve



diff --git a/modules/toollabs/manifests/exec_environ.pp 
b/modules/toollabs/manifests/exec_environ.pp
index 649ce59..1a7ed79 100644
--- a/modules/toollabs/manifests/exec_environ.pp
+++ b/modules/toollabs/manifests/exec_environ.pp
@@ -238,7 +238,6 @@
         'tesseract-ocr-vie',
 
         # Other packages
-        'adminbot',
         'bison',                       # T67974.
         'calibre',                     # T100165
         'csh',                         # common user request

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I8c875b5a027f9155edccb351befe2ca4701154f9
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Tim Landscheidt <t...@tim-landscheidt.de>
Gerrit-Reviewer: Andrew Bogott <abog...@wikimedia.org>
Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: Coren <m...@uberbox.org>
Gerrit-Reviewer: Madhuvishy <mviswanat...@wikimedia.org>
Gerrit-Reviewer: Merlijn van Deen <valhall...@arctus.nl>
Gerrit-Reviewer: Rush <r...@wikimedia.org>
Gerrit-Reviewer: Tim Landscheidt <t...@tim-landscheidt.de>
Gerrit-Reviewer: Yuvipanda <yuvipa...@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