Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/397891 )
Change subject: Releases jenkins: Only clone MediaWiki core, and make it a bare clone ...................................................................... Releases jenkins: Only clone MediaWiki core, and make it a bare clone The other resources are small enough that fetching over the wire isn't a big deal. It's only core we care about Since it's a reference repo, we want to be bare Change-Id: Id48c7e624cdb0933336b0957ced46375ad862179 --- M modules/releases/manifests/init.pp 1 file changed, 1 insertion(+), 14 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/modules/releases/manifests/init.pp b/modules/releases/manifests/init.pp index b4a8b19..9faa57f 100644 --- a/modules/releases/manifests/init.pp +++ b/modules/releases/manifests/init.pp @@ -39,20 +39,7 @@ git::clone { 'mediawiki/core': directory => '/srv/mediawiki/core', require => File['/srv/mediawiki'], - } - git::clone { 'mediawiki/extensions': - directory => '/srv/mediawiki/extensions', - recurse_submodules => true, - require => File['/srv/mediawiki'], - } - git::clone { 'mediawiki/skins': - directory => '/srv/mediawiki/skins', - recurse_submodules => true, - require => File['/srv/mediawiki'], - } - git::clone { 'mediawiki/vendor': - directory => '/srv/mediawiki/vendor', - require => File['/srv/mediawiki'], + bare => true, } file { '/srv/org/wikimedia/releases/mediawiki': -- To view, visit https://gerrit.wikimedia.org/r/397891 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id48c7e624cdb0933336b0957ced46375ad862179 Gerrit-PatchSet: 3 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits