Added a comment: Shared git repos

This commit is contained in:
https://christian.amsuess.com/chrysn 2022-12-15 13:36:59 +00:00 committed by admin
parent ee8fe1426e
commit 55aaa6e614

View file

@ -0,0 +1,11 @@
[[!comment format=mdwn
username="https://christian.amsuess.com/chrysn"
nickname="chrysn"
avatar="http://christian.amsuess.com/avatar/c6c0d57d63ac88f3541522c4b21198c3c7169a665a2f2d733b4f78670322ffdc"
subject="Shared git repos"
date="2022-12-15T13:36:59Z"
content="""
Git has an option to initialize repos in a shared mode (`git init --shared=group`); then it sets all relevant files not only to group writable, but also sets sticky bits so that the group is preserved.
This does also work with git-annex. (It doesn't work so well when users rsync-copy data to that shared repository, but a) that may have been fixed since I stopped letting multiple users do it, and b) it probably doesn't apply to your use case).
"""]]