diff options
Diffstat (limited to 'distrib/gitblit.properties')
| -rw-r--r-- | distrib/gitblit.properties | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/distrib/gitblit.properties b/distrib/gitblit.properties index e8acfa93..5493b25b 100644 --- a/distrib/gitblit.properties +++ b/distrib/gitblit.properties @@ -391,6 +391,13 @@ federation.sets = # if unspecified, the folder is *git.repositoriesFolder*
# if specified, the folder is relative to *git.repositoriesFolder*
#
+# bare:
+# if true, each repository will be created as a *bare* repository and will not
+# have a working directory.
+#
+# if false, each repository will be created as a normal repository suitable
+# for local work.
+#
# mirror:
# if true, each repository HEAD is reset to *origin/master* after each pull.
# The repository will be flagged *isFrozen* after the initial clone.
|