[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php: Depool db2073"

2017-08-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/370438 )

Change subject: Revert "db-codfw.php: Depool db2073"
..


Revert "db-codfw.php: Depool db2073"

This reverts commit 772f8fc5dac7287c6043d75eb316998b71ef2e29.

Change-Id: I27e1469c9849c0c4506238c8094a3010789310f7
---
M wmf-config/db-codfw.php
1 file changed, 1 insertion(+), 1 deletion(-)

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



diff --git a/wmf-config/db-codfw.php b/wmf-config/db-codfw.php
index ece6b5e..c386309 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -128,7 +128,7 @@
'db2044' => 50,  # C6 2.9TB 160GB, rc, log
'db2058' => 50,  # D6 3.3TB 160GB, dump (inactive), vslow
'db2065' => 200, # D6 3.3TB 160GB, api
-   # 'db2073' => 400, # C6 3.3TB 512GB # Compressed InnoDB #T171321
+   'db2073' => 400, # C6 3.3TB 512GB # Compressed InnoDB
],
's5' => [
'db2023' => 0,   # B6 2.9TB  96GB, master

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I27e1469c9849c0c4506238c8094a3010789310f7
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Marostegui 
Gerrit-Reviewer: Florianschmidtwelzow 
Gerrit-Reviewer: Jcrespo 
Gerrit-Reviewer: Marostegui 
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]: Revert "db-codfw.php: Depool db2073"

2017-08-07 Thread Marostegui (Code Review)
Hello jenkins-bot, Jcrespo,

I'd like you to do a code review.  Please visit

https://gerrit.wikimedia.org/r/370438

to review the following change.


Change subject: Revert "db-codfw.php: Depool db2073"
..

Revert "db-codfw.php: Depool db2073"

This reverts commit 772f8fc5dac7287c6043d75eb316998b71ef2e29.

Change-Id: I27e1469c9849c0c4506238c8094a3010789310f7
---
M wmf-config/db-codfw.php
1 file changed, 1 insertion(+), 1 deletion(-)


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

diff --git a/wmf-config/db-codfw.php b/wmf-config/db-codfw.php
index ece6b5e..c386309 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -128,7 +128,7 @@
'db2044' => 50,  # C6 2.9TB 160GB, rc, log
'db2058' => 50,  # D6 3.3TB 160GB, dump (inactive), vslow
'db2065' => 200, # D6 3.3TB 160GB, api
-   # 'db2073' => 400, # C6 3.3TB 512GB # Compressed InnoDB #T171321
+   'db2073' => 400, # C6 3.3TB 512GB # Compressed InnoDB
],
's5' => [
'db2023' => 0,   # B6 2.9TB  96GB, master

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I27e1469c9849c0c4506238c8094a3010789310f7
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Marostegui 
Gerrit-Reviewer: Jcrespo 
Gerrit-Reviewer: jenkins-bot <>

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