| | |
| | | # SINCE 1.1.0
|
| | | git.defaultAuthorizationControl = NAMED
|
| | |
|
| | | # 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.
|
| | | #
|
| | | # If incremental push tags are enabled, the tips of each branch in the push will
|
| | | # be tagged with an increasing revision integer.
|
| | | #
|
| | | # e.g. refs/tags/r2345 or refs/tags/rev_2345 |
| | | #
|
| | | # SINCE 1.3.0
|
| | | git.defaultIncrementalPushTagPrefix = r
|
| | |
|
| | | # Enable JGit-based garbage collection. (!!EXPERIMENTAL!!)
|
| | | #
|
| | | # USE AT YOUR OWN RISK!
|