Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/341441 )
Change subject: site.pp: remove bast3001 (decom)
......................................................................
site.pp: remove bast3001 (decom)
Bug: T159480
Change-Id: I1571354547518f61db3ccb19e3446be45747eb56
---
M manifests/site.pp
1 file changed, 1 insertion(+), 8 deletions(-)
Approvals:
Dzahn: Verified; Looks good to me, approved
diff --git a/manifests/site.pp b/manifests/site.pp
index bc35705..0242ea5 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -162,14 +162,7 @@
$cluster = 'misc'
}
-# formerly 'Bastion in the Netherlands', replaced by bast3002 (T156506)
-node 'bast3001.wikimedia.org' {
- role(spare::system)
-
- interface::add_ip6_mapped { 'main': interface => 'eth0', }
-}
-
-# Bastion in the Netherlands
+# Bastion in the Netherlands (replaced bast3001)
node 'bast3002.wikimedia.org' {
role(bastionhost::general,
installserver::tftp,
--
To view, visit https://gerrit.wikimedia.org/r/341441
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1571354547518f61db3ccb19e3446be45747eb56
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
