Dzahn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/67475
Change subject: remove singer from site.pp, it's dead and the old secure site
has also been moved to cluster meanwhile
......................................................................
remove singer from site.pp, it's dead and the old secure site has also
been moved to cluster meanwhile
Change-Id: Ibf67fc39b11b294a0a1f0f520d816a163e52451a
---
M manifests/site.pp
1 file changed, 0 insertions(+), 12 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/75/67475/1
diff --git a/manifests/site.pp b/manifests/site.pp
index bcbb09f..2c0f095 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -2325,18 +2325,6 @@
mobile::vumi::udp2log
}
-node "singer.wikimedia.org" {
- $cluster = "misc"
- $gid=500
- include standard,
- generic::mysql::packages::client,
- misc::secure
-
-
- install_certificate{ "star.wikimedia.org": }
- monitor_service { "secure cert": description => "Certificate
expiration", check_command =>
"check_cert!secure.wikimedia.org!443!Equifax_Secure_CA.pem", critical => "true"
}
-}
-
node "sockpuppet.pmtpa.wmnet" {
include passwords::puppet::database
--
To view, visit https://gerrit.wikimedia.org/r/67475
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibf67fc39b11b294a0a1f0f520d816a163e52451a
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
