Dzahn has submitted this change and it was merged. Change subject: delete dsh group "broken_appservers" ......................................................................
delete dsh group "broken_appservers" want to reduce number of useless groups that are edited each time a server is taken down or added back. stop me if you think there is a real use for this specific group. seems to me just removing/readding into mediawiki-installation and apaches are the ones that matter. if you think it should actually be used, please add here why: https://wikitech.wikimedia.org/w/index.php?title=Server_Lifecycle&diff=85189&oldid=83670 Change-Id: Icf6051313a964757083d7dbf93dd910bc3f77bcf --- D files/dsh/group/broken_appservers 1 file changed, 0 insertions(+), 17 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/files/dsh/group/broken_appservers b/files/dsh/group/broken_appservers deleted file mode 100644 index 2ca5fa9..0000000 --- a/files/dsh/group/broken_appservers +++ /dev/null @@ -1,17 +0,0 @@ -mw53 -srv251 -srv283 -mw1008 -mw1028 -mw63 -mw1178 -srv254 -mw1044 -mw1004 -mw1197 -srv240 -mw19 -mw1133 -mw1179 -mw1025 -mw1173 -- To view, visit https://gerrit.wikimedia.org/r/88068 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icf6051313a964757083d7dbf93dd910bc3f77bcf Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Cmjohnson <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: RobH <[email protected]> Gerrit-Reviewer: Tim Starling <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
