[MediaWiki-commits] [Gerrit] operations/puppet[production]: releases: Add wikidiff2 directory
Dzahn has submitted this change and it was merged. Change subject: releases: Add wikidiff2 directory .. releases: Add wikidiff2 directory This allows MediaWiki releasers to upload releases for the wikidiff2 PHP extension. Change-Id: I8df7f56326fa755f2466f491b5b48d16bedfd1c5 --- M modules/releases/manifests/init.pp 1 file changed, 8 insertions(+), 0 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Verified; Looks good to me, approved diff --git a/modules/releases/manifests/init.pp b/modules/releases/manifests/init.pp index 2d607d8..ba804a3 100644 --- a/modules/releases/manifests/init.pp +++ b/modules/releases/manifests/init.pp @@ -38,6 +38,14 @@ require => File['/srv/org/wikimedia/releases'], } +file { '/srv/org/wikimedia/releases/wikidiff2': +ensure => 'directory', +mode=> '2775', +owner => 'root', +group => 'releasers-mediawiki', +require => File['/srv/org/wikimedia/releases'], +} + include ::apache::mod::rewrite include ::apache::mod::headers -- To view, visit https://gerrit.wikimedia.org/r/307650 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8df7f56326fa755f2466f491b5b48d16bedfd1c5 Gerrit-PatchSet: 4 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: LegoktmGerrit-Reviewer: Chad Gerrit-Reviewer: Dzahn Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] operations/puppet[production]: releases: Add wikidiff2 directory
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/307650 Change subject: releases: Add wikidiff2 directory .. releases: Add wikidiff2 directory This allows MediaWiki releasers to upload releases for the wikidiff2 PHP extension. Change-Id: I8df7f56326fa755f2466f491b5b48d16bedfd1c5 --- M modules/releases/manifests/init.pp 1 file changed, 6 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/50/307650/1 diff --git a/modules/releases/manifests/init.pp b/modules/releases/manifests/init.pp index 33c475d..396f0a7 100644 --- a/modules/releases/manifests/init.pp +++ b/modules/releases/manifests/init.pp @@ -36,6 +36,12 @@ group => 'releasers-mediawiki', } +file { '/srv/org/wikimedia/releases/wikidiff2': +ensure => 'directory', +owner => 'root', +group => 'releasers-mediawiki', +} + include ::apache::mod::rewrite include ::apache::mod::headers -- To view, visit https://gerrit.wikimedia.org/r/307650 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8df7f56326fa755f2466f491b5b48d16bedfd1c5 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Legoktm___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits