jenkins-bot has submitted this change and it was merged.
Change subject: Set $HOME for git-config command
......................................................................
Set $HOME for git-config command
Bug: T85237
Change-Id: I99e9ee02927e8d540fbd5b6e6c2c8df517b4c8c1
---
M puppet/modules/git/manifests/gerrit.pp
1 file changed, 5 insertions(+), 2 deletions(-)
Approvals:
Gergő Tisza: Looks good to me, approved
jenkins-bot: Verified
diff --git a/puppet/modules/git/manifests/gerrit.pp
b/puppet/modules/git/manifests/gerrit.pp
index 1c0c549..6673fe3 100644
--- a/puppet/modules/git/manifests/gerrit.pp
+++ b/puppet/modules/git/manifests/gerrit.pp
@@ -20,9 +20,12 @@
if $::git_user {
exec { 'gitreview.username':
- command => "git config --global --add gitreview.username
'${::git_user}'",
+ command => "/usr/bin/git config --global --add gitreview.username
'${::git_user}'",
+ environment => [
+ "HOME=/home/vagrant",
+ ],
user => 'vagrant',
- unless => 'git config --global gitreview.username',
+ unless => '/usr/bin/git config --global gitreview.username',
require => Package['git'],
}
}
--
To view, visit https://gerrit.wikimedia.org/r/209313
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I99e9ee02927e8d540fbd5b6e6c2c8df517b4c8c1
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: BryanDavis <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: Dduvall <[email protected]>
Gerrit-Reviewer: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
