Giuseppe Lavagetto has submitted this change and it was merged. Change subject: add mw1053 to mediawiki-installation dsh group ......................................................................
add mw1053 to mediawiki-installation dsh group Re-commissioned jobrunner. Change-Id: Idd19db52beccc065958e07be490f1388968ee640 --- M files/dsh/group/mediawiki-installation 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Giuseppe Lavagetto: Looks good to me, approved jenkins-bot: Verified diff --git a/files/dsh/group/mediawiki-installation b/files/dsh/group/mediawiki-installation index 1d639d5..f81f364 100644 --- a/files/dsh/group/mediawiki-installation +++ b/files/dsh/group/mediawiki-installation @@ -60,6 +60,7 @@ mw1050 mw1051 mw1052 +mw1053 mw1054 mw1055 mw1056 -- To view, visit https://gerrit.wikimedia.org/r/149913 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idd19db52beccc065958e07be490f1388968ee640 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Ori.livneh <[email protected]> Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
