Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/322619
Change subject: dbtools: Drop labsdb1008 from the list of hosts ...................................................................... dbtools: Drop labsdb1008 from the list of hosts labsdb1008 was renamed to db1094. Change-Id: I8174bea9bb7299b355ddcccf2ae4a9ef248704b4 --- M dbtools/s1.hosts 1 file changed, 0 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/software refs/changes/19/322619/1 diff --git a/dbtools/s1.hosts b/dbtools/s1.hosts index bd5dbe9..855e0e1 100644 --- a/dbtools/s1.hosts +++ b/dbtools/s1.hosts @@ -8,7 +8,6 @@ dbstore2001.codfw.wmnet 3306 dbstore2002.codfw.wmnet 3306 db2016.codfw.wmnet 3306 -labsdb1008.eqiad.wmnet 3306 labsdb1003.eqiad.wmnet 3306 labsdb1001.eqiad.wmnet 3306 db1069.eqiad.wmnet 3311 -- To view, visit https://gerrit.wikimedia.org/r/322619 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8174bea9bb7299b355ddcccf2ae4a9ef248704b4 Gerrit-PatchSet: 1 Gerrit-Project: operations/software Gerrit-Branch: master Gerrit-Owner: Jcrespo <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
