Jcrespo has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/350379 )
Change subject: Add wikitech.hosts for rolling schema changes there ...................................................................... Add wikitech.hosts for rolling schema changes there Change-Id: Id517f196781d3665177e7ad3259a779ea8f60edb --- A dbtools/wikitech.hosts 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: Marostegui: Looks good to me, but someone else must approve jenkins-bot: Verified Jcrespo: Looks good to me, approved diff --git a/dbtools/wikitech.hosts b/dbtools/wikitech.hosts new file mode 100644 index 0000000..1030a00 --- /dev/null +++ b/dbtools/wikitech.hosts @@ -0,0 +1,2 @@ +labtestweb2001.wikimedia.org +silver.wikimedia.org -- To view, visit https://gerrit.wikimedia.org/r/350379 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id517f196781d3665177e7ad3259a779ea8f60edb Gerrit-PatchSet: 2 Gerrit-Project: operations/software Gerrit-Branch: master Gerrit-Owner: Jcrespo <[email protected]> Gerrit-Reviewer: Jcrespo <[email protected]> Gerrit-Reviewer: Marostegui <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
