Gergő Tisza has uploaded a new change for review.
https://gerrit.wikimedia.org/r/208629
Change subject: Set up gitreview default username
......................................................................
Set up gitreview default username
Bug: T85237
Change-Id: I2ba974b53142cab2c65995c5c367d0f00677080a
---
M Vagrantfile
M puppet/modules/git/manifests/gerrit.pp
2 files changed, 10 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/29/208629/1
diff --git a/Vagrantfile b/Vagrantfile
index c7851d2..3840fec 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -211,6 +211,7 @@
puppet.facter = $FACTER = {
'fqdn' => config.vm.hostname,
+ 'git_user' => settings[:git_user],
'forwarded_port' => settings[:http_port],
'shared_apt_cache' => '/vagrant/cache/apt/',
'environment' => 'vagrant',
diff --git a/puppet/modules/git/manifests/gerrit.pp
b/puppet/modules/git/manifests/gerrit.pp
index 19e7fe9..1c0c549 100644
--- a/puppet/modules/git/manifests/gerrit.pp
+++ b/puppet/modules/git/manifests/gerrit.pp
@@ -18,5 +18,14 @@
mode => '0644',
}
+ if $::git_user {
+ exec { 'gitreview.username':
+ command => "git config --global --add gitreview.username
'${::git_user}'",
+ user => 'vagrant',
+ unless => 'git config --global gitreview.username',
+ require => Package['git'],
+ }
+ }
+
Sshkey <| |> -> File['/etc/ssh/ssh_known_hosts']
}
--
To view, visit https://gerrit.wikimedia.org/r/208629
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I2ba974b53142cab2c65995c5c367d0f00677080a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
