Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: mediawiki::maintenance: create symlink to /srv/mediawiki
......................................................................
mediawiki::maintenance: create symlink to /srv/mediawiki
This is needed by foreachwiki and other tools.
Change-Id: Id74c98b831f5c9da9ed432a67bbb07006927dfda
---
M manifests/role/mediawiki.pp
1 file changed, 6 insertions(+), 0 deletions(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
jenkins-bot: Verified
diff --git a/manifests/role/mediawiki.pp b/manifests/role/mediawiki.pp
index a7b8561..e52aa7f 100644
--- a/manifests/role/mediawiki.pp
+++ b/manifests/role/mediawiki.pp
@@ -227,6 +227,12 @@
class role::mediawiki::maintenance {
include scap::scripts
include role::mediawiki::common
+
+ file { $::mediawiki::scap::mediawiki_staging_dir:
+ ensure => link,
+ target => '/srv/mediawiki'
+ }
+
include mediawiki::maintenance::pagetriage
include mediawiki::maintenance::translationnotifications
include mediawiki::maintenance::updatetranslationstats
--
To view, visit https://gerrit.wikimedia.org/r/250016
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id74c98b831f5c9da9ed432a67bbb07006927dfda
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
