Jcrespo has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405276 )
Change subject: mariadb: Remove references to db1031 ...................................................................... mariadb: Remove references to db1031 Bug: T184054 Change-Id: I74a73860ff02dec157048b5cca8b73b75f769bbc --- M dbtools/x1.hosts 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Jcrespo: Looks good to me, approved diff --git a/dbtools/x1.hosts b/dbtools/x1.hosts index 8cde7e3..ed47fc5 100644 --- a/dbtools/x1.hosts +++ b/dbtools/x1.hosts @@ -5,5 +5,4 @@ dbstore1001.eqiad.wmnet 3306 dbstore1002.eqiad.wmnet 3306 db1056.eqiad.wmnet 3306 -db1031.eqiad.wmnet 3306 db1055.eqiad.wmnet 3306 -- To view, visit https://gerrit.wikimedia.org/r/405276 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I74a73860ff02dec157048b5cca8b73b75f769bbc 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: Volans <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
