Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/88071
Change subject: delete dsh group "mediawiki-installation-precise" ...................................................................... delete dsh group "mediawiki-installation-precise" nowadays everything is precise and there seems to be no use for it, while "mediawiki-installation" is the important one for scapping. most likely leftover from upgrading in the past? Change-Id: I277056eb46f64e272eaf1561b5df9ee135a7187a --- D files/dsh/group/mediawiki-installation-precise 1 file changed, 0 insertions(+), 21 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/71/88071/1 diff --git a/files/dsh/group/mediawiki-installation-precise b/files/dsh/group/mediawiki-installation-precise deleted file mode 100644 index e4382b5..0000000 --- a/files/dsh/group/mediawiki-installation-precise +++ /dev/null @@ -1,21 +0,0 @@ -mw1 -mw4 -mw12 -mw14 -mw13 -mw16 -mw7 -mw6 -mw55 -mw56 -mw9 -mw3 -mw5 -mw2 -mw11 -mw15 -mw10 -mw58 -mw57 -mw59 -srv193 -- To view, visit https://gerrit.wikimedia.org/r/88071 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I277056eb46f64e272eaf1561b5df9ee135a7187a Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits