[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Raise git post buffer when cloning MediaWiki

[Code Review]

Gergő Tisza has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/353025 )

Change subject: Raise git post buffer when cloning MediaWiki
......................................................................

Raise git post buffer when cloning MediaWiki

Bug: T152801
Change-Id: I2bfc8cf6e40420b3d191a0489b9d9299282e87fa
---
M puppet/modules/git/manifests/clone.pp
M puppet/modules/mediawiki/manifests/init.pp
2 files changed, 7 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant 
refs/changes/25/353025/1

diff --git a/puppet/modules/git/manifests/clone.pp 
b/puppet/modules/git/manifests/clone.pp
index c82ca52..1d08f62 100644
--- a/puppet/modules/git/manifests/clone.pp
+++ b/puppet/modules/git/manifests/clone.pp
@@ -36,6 +36,9 @@
 #   After the clone is created, initialize all submodules within, using their
 #   default settings. Default true.
 #
+# [*options*]
+#   Extra options to pass to git. Mainly intended for config options, i.e.
+#   '-c foo=bar'.
 # === Examples
 #
 #  Clone VisualEditor to MediaWiki extension path:
@@ -53,6 +56,7 @@
     $ensure             = 'present',
     $depth              = $::git::default_depth,
     $recurse_submodules = true,
+    $options            = '',
 ) {
     require ::git
 
@@ -79,7 +83,7 @@
     }
 
     exec { "git_clone_${title}":
-        command => "/usr/bin/git clone ${arg_recurse} ${arg_depth} 
${arg_branch} ${repository} ${directory}",
+        command => "/usr/bin/git ${options} clone ${arg_recurse} ${arg_depth} 
${arg_branch} ${repository} ${directory}",
         cwd     => '/',
         creates => "${directory}/.git",
         user    => $owner,
diff --git a/puppet/modules/mediawiki/manifests/init.pp 
b/puppet/modules/mediawiki/manifests/init.pp
index 6b67b79..5a14168 100644
--- a/puppet/modules/mediawiki/manifests/init.pp
+++ b/puppet/modules/mediawiki/manifests/init.pp
@@ -84,10 +84,11 @@
 
     $managed_settings_dir = "${settings_dir}/puppet-managed"
 
-    git::clone { 'mediawiki/core':
+       git::clone { 'mediawiki/core':
         directory => $dir,
         branch    => $branch,
         depth     => $git_depth,
+        options   => '-c http.postBuffer=1048576000', # T152801
     }
 
     mediawiki::skin { 'Vector': }

-- 
To view, visit https://gerrit.wikimedia.org/r/353025
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I2bfc8cf6e40420b3d191a0489b9d9299282e87fa
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits