Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
developer_installation [2019/10/05 13:53] – [The User Privileges Issue] Introduce $REPOSITORY. Traumflug | developer_installation [2019/10/05 14:03] (current) – [The User Privileges Issue] Hint for Git repos. Traumflug | ||
---|---|---|---|
Line 32: | Line 32: | ||
At this point the situation is that the sources are owned by the developer, while they' | At this point the situation is that the sources are owned by the developer, while they' | ||
+ | |||
+ | For installations in a Git repository, one should move //.git// aside first, see [[Github Best Practices# | ||
To solve this conflict, extended Access Control Lists (ACLs) come to the rescue. Setting this up looks a bit complicated, | To solve this conflict, extended Access Control Lists (ACLs) come to the rescue. Setting this up looks a bit complicated, |
developer_installation.txt · Last modified: 2019/10/05 14:03 by Traumflug