Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/294273
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(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/73/294273/1 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: newchange Gerrit-Change-Id: I835228385c282d9178ff2025084add7b0efad41b Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Giuseppe Lavagetto <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
