jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/349727 )
Change subject: Emergency depool of es2019 (crashed?)
......................................................................
Emergency depool of es2019 (crashed?)
Change-Id: I283f6fc63cf4a87d20403ef0ce2566db9ff4f1f5
---
M wmf-config/db-codfw.php
1 file changed, 1 insertion(+), 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 cb70423..4580eb9 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -600,7 +600,7 @@
'cluster25' => [
'10.192.16.172' => 1, # es2018, master
'10.192.0.142' => 3, # es2017
- '10.192.48.42' => 3, # es2019
+# '10.192.48.42' => 3, # es2019 # crashed?
],
# ExtensionStore shard1 - initially for AFTv5
'extension1' => [
--
To view, visit https://gerrit.wikimedia.org/r/349727
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I283f6fc63cf4a87d20403ef0ce2566db9ff4f1f5
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
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
