Ori.livneh has submitted this change and it was merged.
Change subject: Set core.sharedRepository to 'group' for shared clones
......................................................................
Set core.sharedRepository to 'group' for shared clones
Change-Id: Iace8ded93ed57d8ac0644c24c079c98a4e2d8fa7
---
M modules/git/manifests/clone.pp
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Ori.livneh: Verified; Looks good to me, approved
diff --git a/modules/git/manifests/clone.pp b/modules/git/manifests/clone.pp
index 88a1fe9..49d97b3 100644
--- a/modules/git/manifests/clone.pp
+++ b/modules/git/manifests/clone.pp
@@ -143,8 +143,8 @@
# Changing an existing git repository to be shared by a group
is ugly,
# but here's how you do it without causing log churn.
exec { "git_clone_${title}_configure_shared_repository":
- command => 'git config --local core.sharedRepository 066',
- unless => 'test $(git config --local
core.sharedRepository) = 066',
+ command => 'git config --local core.sharedRepository
group',
+ unless => 'test $(git config --local
core.sharedRepository) = group',
cwd => $directory,
require => Exec["git_clone_${title}"],
notify => Exec["git_clone_${title}_set_group_owner"],
--
To view, visit https://gerrit.wikimedia.org/r/118783
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iace8ded93ed57d8ac0644c24c079c98a4e2d8fa7
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
