jenkins-bot has submitted this change and it was merged. (
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, 6 insertions(+), 1 deletion(-)
Approvals:
BryanDavis: Looks good to me, approved
jenkins-bot: Verified
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..f51401f 100644
--- a/puppet/modules/mediawiki/manifests/init.pp
+++ b/puppet/modules/mediawiki/manifests/init.pp
@@ -88,6 +88,7 @@
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: merged
Gerrit-Change-Id: I2bfc8cf6e40420b3d191a0489b9d9299282e87fa
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
