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 <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
