Giuseppe Lavagetto has submitted this change and it was merged. Change subject: mediawiki: add other servers to the dsh list ......................................................................
mediawiki: add other servers to the dsh list Change-Id: I835228385c282d9178ff2025084add7b0efad41b --- M modules/scap/files/dsh/group/mediawiki-installation 1 file changed, 8 insertions(+), 0 deletions(-) Approvals: Giuseppe Lavagetto: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/scap/files/dsh/group/mediawiki-installation b/modules/scap/files/dsh/group/mediawiki-installation index 14ea755..7db1ce3 100644 --- a/modules/scap/files/dsh/group/mediawiki-installation +++ b/modules/scap/files/dsh/group/mediawiki-installation @@ -393,3 +393,11 @@ mw2230.codfw.wmnet mw2231.codfw.wmnet mw2232.codfw.wmnet +mw2233.codfw.wmnet +mw2234.codfw.wmnet +mw2235.codfw.wmnet +mw2236.codfw.wmnet +mw2237.codfw.wmnet +mw2238.codfw.wmnet +mw2239.codfw.wmnet +mw2240.codfw.wmnet -- To view, visit https://gerrit.wikimedia.org/r/294273 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I835228385c282d9178ff2025084add7b0efad41b Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Giuseppe Lavagetto <[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
