diff options
Diffstat (limited to 'src/main/distrib/data/gitblit.properties')
| -rw-r--r-- | src/main/distrib/data/gitblit.properties | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index 8c90258b..c881f14f 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -146,6 +146,17 @@ git.defaultAccessRestriction = NONE # 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!
|