Dzahn has submitted this change and it was merged.
Change subject: misc: remove tungsten
......................................................................
misc: remove tungsten
unused by misc-web
Change-Id: I3645e0ce6a57b0efdffacf3b51ee144386d5427b
---
M manifests/role/cache.pp
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/role/cache.pp b/manifests/role/cache.pp
index f145883..f2f09af 100644
--- a/manifests/role/cache.pp
+++ b/manifests/role/cache.pp
@@ -1667,7 +1667,6 @@
'dataset1001.wikimedia.org',
'gallium.wikimedia.org', # CI server
'ytterbium.wikimedia.org', # Gerrit
- 'tungsten.eqiad.wmnet',
'graphite1001.eqiad.wmnet',
'zirconium.wikimedia.org',
'ruthenium.eqiad.wmnet', # parsoid rt test server
--
To view, visit https://gerrit.wikimedia.org/r/198385
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3645e0ce6a57b0efdffacf3b51ee144386d5427b
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: John F. Lewis <johnflewi...@gmail.com>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
