diff options
author | James Moger <james.moger@gitblit.com> | 2012-08-01 21:21:32 -0400 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2012-08-01 21:21:32 -0400 |
commit | 0adceb4b64dfe0dd509da33c6d733a47fbf803a2 (patch) | |
tree | 202a95019b7f0d7c09b55d7d46f5cbb0dad118f0 /distrib | |
parent | 65f55eee1c41a9cdfec96dc4310efcc6e57df97f (diff) | |
download | gitblit-0adceb4b64dfe0dd509da33c6d733a47fbf803a2.tar.gz gitblit-0adceb4b64dfe0dd509da33c6d733a47fbf803a2.zip |
Regex exclusions for repository search (issue 103)
Diffstat (limited to 'distrib')
-rw-r--r-- | distrib/gitblit.properties | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/distrib/gitblit.properties b/distrib/gitblit.properties index f06aaef4..0923c41b 100644 --- a/distrib/gitblit.properties +++ b/distrib/gitblit.properties @@ -27,6 +27,16 @@ git.searchRepositoriesSubfolders = true # SINCE 1.0.1
git.searchRecursionDepth = -1
+# List of regex exclusion patterns to match against folders found in
+# *git.repositoriesFolder*.
+# Use forward slashes even on Windows!!
+# e.g. test/jgit\.git
+#
+# SPACE-DELIMITED
+# CASE-SENSITIVE
+# SINCE 1.0.1
+git.searchExclusions =
+
# Allow push/pull over http/https with JGit servlet.
# If you do NOT want to allow Git clients to clone/push to Gitblit set this
# to false. You might want to do this if you are only using ssh:// or git://.
|