[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: mariadb: "Depool" pc2005 for maintenance

2018-01-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/401744 )

Change subject: mariadb: "Depool" pc2005 for maintenance
..


mariadb: "Depool" pc2005 for maintenance

In reality, just just point it to a different server and hope
maintenance doesn't happen for long.

Bug: T183750
Change-Id: I216e4ca2c0c804fb7ea375b987146387665d36fb
---
M wmf-config/db-codfw.php
1 file changed, 2 insertions(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Jcrespo: Looks good to me, approved



diff --git a/wmf-config/db-codfw.php b/wmf-config/db-codfw.php
index 77da252..b537223 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -9,7 +9,8 @@
 
 $wmgParserCacheDBs = [
'10.64.0.12'   => '10.192.16.170', # pc2004, B5 2.4TB 256GB
-   '10.64.32.72'  => '10.192.32.128', # pc2005, C5 2.4TB 256GB
+   # '10.64.32.72'  => '10.192.32.128', # pc2005, C5 2.4TB 256GB down for 
maintenance T183750
+   '10.64.32.72'  => '10.192.16.170', # pc2004 temp.
'10.64.48.128' => '10.192.48.39',  # pc2006, D5 2.4TB 256GB
 ];
 

-- 
To view, visit https://gerrit.wikimedia.org/r/401744
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I216e4ca2c0c804fb7ea375b987146387665d36fb
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jcrespo 
Gerrit-Reviewer: Jcrespo 
Gerrit-Reviewer: Marostegui 
Gerrit-Reviewer: Papaul 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits


[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: mariadb: "Depool" pc2005 for maintenance

2018-01-03 Thread Jcrespo (Code Review)
Jcrespo has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/401744 )

Change subject: mariadb: "Depool" pc2005 for maintenance
..

mariadb: "Depool" pc2005 for maintenance

In reality, just just point it to a different server and hope
maintenance doesn't happen for long.

Bug: T183750
Change-Id: I216e4ca2c0c804fb7ea375b987146387665d36fb
---
M wmf-config/db-codfw.php
1 file changed, 2 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/44/401744/1

diff --git a/wmf-config/db-codfw.php b/wmf-config/db-codfw.php
index 77da252..782319a 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -9,7 +9,8 @@
 
 $wmgParserCacheDBs = [
'10.64.0.12'   => '10.192.16.170', # pc2004, B5 2.4TB 256GB
-   '10.64.32.72'  => '10.192.32.128', # pc2005, C5 2.4TB 256GB
+   # '10.64.32.72'  => '10.192.32.128', # pc2005, C5 2.4TB 256GB down for 
maintenance T183750
+'10.64.32.72'  => '10.192.16.170', # pc2004 temp.
'10.64.48.128' => '10.192.48.39',  # pc2006, D5 2.4TB 256GB
 ];
 

-- 
To view, visit https://gerrit.wikimedia.org/r/401744
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I216e4ca2c0c804fb7ea375b987146387665d36fb
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jcrespo 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits