diff options
author | James Moger <james.moger@gitblit.com> | 2014-05-09 07:56:22 -0600 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2014-05-09 07:56:22 -0600 |
commit | c4a443e8bdd6f85265f4c460686bc44ddc8183e1 (patch) | |
tree | c5cdcff2bc2de17af7d2cf5a1fea87396a1fb72b /src/main/distrib | |
parent | ad1a0235bfce09dbcbcc17a0b49a55862422b728 (diff) | |
parent | b4ed66fda03d83fd281ca9cbeae0a1c7785489e4 (diff) | |
download | gitblit-c4a443e8bdd6f85265f4c460686bc44ddc8183e1.tar.gz gitblit-c4a443e8bdd6f85265f4c460686bc44ddc8183e1.zip |
Merged #67 "Allow disabling repository deletion"
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 fd30b6d7..7d74c281 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 deletion of non-empty repositories. This is enforced for all delete vectors.
+#
+# SINCE 1.6.0
+web.allowDeletingNonEmptyRepositories = true
+
# Config file for storing project metadata
#
# SINCE 1.2.0
|