Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/276764
Change subject: Gerrit: Make git directory location configurable so we can move
it
......................................................................
Gerrit: Make git directory location configurable so we can move it
Default is 'git' which is relative to the Gerrit root directory.
Change-Id: Ia7b9b01b3f45e69ce2e0e50110228d948f4816e9
---
M modules/gerrit/manifests/jetty.pp
M modules/gerrit/templates/gerrit.config.erb
2 files changed, 4 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/64/276764/1
diff --git a/modules/gerrit/manifests/jetty.pp
b/modules/gerrit/manifests/jetty.pp
index b90aaf5..1736b35 100644
--- a/modules/gerrit/manifests/jetty.pp
+++ b/modules/gerrit/manifests/jetty.pp
@@ -7,7 +7,9 @@
$ssh_key,
$db_name = 'reviewdb',
$db_user = 'gerrit',
- $ssh_port = '29418') {
+ $ssh_port = '29418',
+ $git_dir = 'git'
+ ) {
include nrpe
diff --git a/modules/gerrit/templates/gerrit.config.erb
b/modules/gerrit/templates/gerrit.config.erb
index 1d00fba..210147a 100644
--- a/modules/gerrit/templates/gerrit.config.erb
+++ b/modules/gerrit/templates/gerrit.config.erb
@@ -1,5 +1,5 @@
[gerrit]
- basePath = git
+ basePath = <%= @git_dir %>
canonicalWebUrl = <%= @url %>
reportBugUrl =
https://phabricator.wikimedia.org/maniphest/task/create/?projects=PHID-PROJ-lc5rwomzjp6fmcdpbw43
[core]
--
To view, visit https://gerrit.wikimedia.org/r/276764
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia7b9b01b3f45e69ce2e0e50110228d948f4816e9
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
