diff options
author | peto268 <peto268@gmail.com> | 2014-04-26 14:08:31 +0200 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2014-05-08 13:40:41 -0400 |
commit | 99b43dffe86b635e97f625157083cee37ee921bf (patch) | |
tree | ea4ba8fd29ca248b0f298e5ff1c00d9160c52561 /src/main/distrib | |
parent | 1d2d5efe6d5dafbd2236776bc4667521921e5c8c (diff) | |
download | gitblit-99b43dffe86b635e97f625157083cee37ee921bf.tar.gz gitblit-99b43dffe86b635e97f625157083cee37ee921bf.zip |
Added option to disable deleting of non empty repositories through the user interface
Diffstat (limited to 'src/main/distrib')
-rw-r--r-- | src/main/distrib/data/gitblit.properties | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index 3215094e..30e97896 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -766,6 +766,11 @@ web.authenticateAdminPages = true # SINCE 0.5.0
web.allowCookieAuthentication = true
+# Allow deleting of non empty repositories through the user interface.
+#
+# SINCE 1.6.0
+web.allowDeletingNonEmptyRepositories = true
+
# Config file for storing project metadata
#
# SINCE 1.2.0
|