diff options
| author | James Moger <james.moger@gitblit.com> | 2011-09-26 22:57:31 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-09-26 22:57:31 -0400 |
| commit | b083f5a956e69715efaaf95b810b02dec687c82e (patch) | |
| tree | b164ca80194febe9c6beb19d482633d9638c94db /distrib/gitblit.properties | |
| parent | 78753bc22f140f863aa3fe56b1c59699ca3e2fa8 (diff) | |
| download | gitblit-b083f5a956e69715efaaf95b810b02dec687c82e.tar.gz gitblit-b083f5a956e69715efaaf95b810b02dec687c82e.zip | |
Documentation.
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.
|