jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/328617 )
Change subject: Make mediawiki/core cloning shallow by default ...................................................................... Make mediawiki/core cloning shallow by default Bug: T152801 Change-Id: If91559165e168555d785ea869eca43b941a392e5 --- M puppet/modules/mediawiki/manifests/init.pp 1 file changed, 6 insertions(+), 0 deletions(-) Approvals: BryanDavis: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/mediawiki/manifests/init.pp b/puppet/modules/mediawiki/manifests/init.pp index 15cfc3b..e94d439 100644 --- a/puppet/modules/mediawiki/manifests/init.pp +++ b/puppet/modules/mediawiki/manifests/init.pp @@ -41,6 +41,10 @@ # [*branch*] # Version to check out # +# [*git_depth*] +# Git cloning depth - undef for normal, a number for a shallow clone with +# that many revisions. +# # [*server_url*] # Full base URL of host (example: 'http://mywiki.net:8080'). # @@ -56,6 +60,7 @@ $page_dir, $composer_fragment_dir, $branch = undef, + $git_depth = undef, $server_url = undef, ) { Exec { @@ -80,6 +85,7 @@ git::clone { 'mediawiki/core': directory => $dir, branch => $branch, + depth => $git_depth, } mediawiki::skin { 'Vector': } -- To view, visit https://gerrit.wikimedia.org/r/328617 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If91559165e168555d785ea869eca43b941a392e5 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org> Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org> Gerrit-Reviewer: Dduvall <dduv...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits