Giuseppe Lavagetto has submitted this change and it was merged. Change subject: dsh: add 7 new appservers to mediawiki-installation ......................................................................
dsh: add 7 new appservers to mediawiki-installation Change-Id: Ie175515493519268f02fd50ce2b01852fab1282f Signed-off-by: Giuseppe Lavagetto <glavage...@wikimedia.org> --- M modules/dsh/files/group/mediawiki-installation 1 file changed, 7 insertions(+), 0 deletions(-) Approvals: Giuseppe Lavagetto: Verified; Looks good to me, approved diff --git a/modules/dsh/files/group/mediawiki-installation b/modules/dsh/files/group/mediawiki-installation index 4939b43..278299e 100644 --- a/modules/dsh/files/group/mediawiki-installation +++ b/modules/dsh/files/group/mediawiki-installation @@ -227,3 +227,10 @@ mw1218 mw1219 mw1220 +mw1227 +mw1230 +mw1231 +mw1232 +mw1233 +mw1234 +mw1235 -- To view, visit https://gerrit.wikimedia.org/r/174929 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie175515493519268f02fd50ce2b01852fab1282f Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits