Madhuvishy has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/401419 )
Change subject: dumps_public: Cleanup the public_server profile
......................................................................
dumps_public: Cleanup the public_server profile
Remove profile left over from previous clean up
Change-Id: I9710121210b86ae11844c1ecc6edebb10b997c47
---
D modules/profile/manifests/dumps/public_server.pp
1 file changed, 0 insertions(+), 9 deletions(-)
Approvals:
Madhuvishy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/profile/manifests/dumps/public_server.pp
b/modules/profile/manifests/dumps/public_server.pp
deleted file mode 100644
index 69c6b12..0000000
--- a/modules/profile/manifests/dumps/public_server.pp
+++ /dev/null
@@ -1,9 +0,0 @@
-# Profile for Dumps server in the Public VLAN,
-# that serves dumps to Cloud VPS/Stat boxes via NFS,
-# or via web or rsync to mirrors
-
-class profile::dumps::public_server {
- class { '::dumpsuser': }
- class {'::public_dumps::server':}
-
-}
--
To view, visit https://gerrit.wikimedia.org/r/401419
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9710121210b86ae11844c1ecc6edebb10b997c47
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Madhuvishy <mviswanat...@wikimedia.org>
Gerrit-Reviewer: Madhuvishy <mviswanat...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
