diff options
| author | James Moger <james.moger@gitblit.com> | 2013-09-17 17:03:57 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-09-17 17:03:57 -0400 |
| commit | 5f8d99338e63c68839e3ddf34f54486e1d1128f1 (patch) | |
| tree | 33dac2d31d2c986a44f905c9e96e084f9e2c3d7c /src/main/distrib/data/gitblit.properties | |
| parent | 0a704fd39ac876fee9bda3a78469209ee9afa4e2 (diff) | |
| parent | df75fa3a0961fc6a539209d5f13788d64b109a34 (diff) | |
| download | gitblit-5f8d99338e63c68839e3ddf34f54486e1d1128f1.tar.gz gitblit-5f8d99338e63c68839e3ddf34f54486e1d1128f1.zip | |
Merge branch 'userrepoprefix' of https://github.com/fzs/gitblit into prefixes
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 63d903dd..7da65ffd 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -163,6 +163,17 @@ git.defaultAccessRestriction = NONE # 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 userRepositoeryPrefix. 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.
+#
+# RESTART REQUIRED
+# SINCE 1.3.2
+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.
#
|