| | |
|---|
| | | # SINCE 1.1.0
|
|---|
| | | git.defaultAuthorizationControl = NAMED
|
|---|
| | |
|
|---|
| | | # The prefix for a users personal repository directory.
|
|---|
| | | #
|
|---|
| | | # Personal user repositories are created in this directory, named by the user name
|
|---|
| | | # prefixed with the userRepositoryPrefix. For eaxmple, a user 'john' would have his
|
|---|
| | | # personal repositories in the directory '~john'.
|
|---|
| | | #
|
|---|
| | | # Cannot be an empty string. Also, absolute paths are changed to relative paths by |
|---|
| | | # removing the first directory separator.
|
|---|
| | | #
|
|---|
| | | # It is not recommended to change this value AFTER your user's have created
|
|---|
| | | # personal repositories because it will break all permissions, ownership, and
|
|---|
| | | # repository push/pull operations. |
|---|
| | | #
|
|---|
| | | # RESTART REQUIRED
|
|---|
| | | # SINCE 1.4.0
|
|---|
| | | git.userRepositoryPrefix = ~
|
|---|
| | |
|
|---|
| | | # The default incremental push tag prefix. Tag prefix applied to a repository
|
|---|
| | | # that has automatic push tags enabled and does not specify a custom tag prefix.
|
|---|
| | | #
|
|---|
| | |
|---|
| | | # SINCE 1.3.0
|
|---|
| | | git.defaultIncrementalPushTagPrefix = r
|
|---|
| | |
|
|---|
| | | # In an Unix environment where mixed access methods exist for shared repositories,
|
|---|
| | | # the repository should be created with 'git init --shared' to make sure that
|
|---|
| | | # it can be accessed e.g. via ssh (user git) and http (user www-data).
|
|---|
| | | # Valid values are the values available for the '--shared' option. The the manual
|
|---|
| | | # page for 'git init' for more information on shared repositories.
|
|---|
| | | #
|
|---|
| | | # SINCE 1.3.2
|
|---|
| | | git.createRepositoriesShared = false
|
|---|
| | |
|
|---|
| | | # Enable JGit-based garbage collection. (!!EXPERIMENTAL!!)
|
|---|
| | | #
|
|---|
| | | # USE AT YOUR OWN RISK!
|
|---|
