diff options
author | James Moger <james.moger@gitblit.com> | 2013-09-17 16:13:53 -0400 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2013-09-17 17:04:29 -0400 |
commit | bb6b148bfc2d4a22b4fd3bdbafebadccaccf6661 (patch) | |
tree | 7f7fee92dd29e82e436043a546aef731d25a465c /src/main/distrib | |
parent | 5f8d99338e63c68839e3ddf34f54486e1d1128f1 (diff) | |
download | gitblit-bb6b148bfc2d4a22b4fd3bdbafebadccaccf6661.tar.gz gitblit-bb6b148bfc2d4a22b4fd3bdbafebadccaccf6661.zip |
Revisions and documentation for personal repository prefix change
Diffstat (limited to 'src/main/distrib')
-rw-r--r-- | src/main/distrib/data/gitblit.properties | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index 7da65ffd..665a90e7 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -164,15 +164,21 @@ git.defaultAccessRestriction = NONE 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
+# 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.3.2
-git.userRepositoryPrefix = "~"
+# 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.
|