From b4ed66fda03d83fd281ca9cbeae0a1c7785489e4 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 09 May 2014 09:55:19 -0400
Subject: [PATCH] Move delete repository function into the edit page

---
 src/main/distrib/data/gitblit.properties |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties
index 30e9789..ab5311c 100644
--- a/src/main/distrib/data/gitblit.properties
+++ b/src/main/distrib/data/gitblit.properties
@@ -766,7 +766,7 @@
 # SINCE 0.5.0
 web.allowCookieAuthentication = true
 
-# Allow deleting of non empty repositories through the user interface.
+# Allow deletion of non-empty repositories. This is enforced for all delete vectors.
 #
 # SINCE 1.6.0
 web.allowDeletingNonEmptyRepositories = true

--
Gitblit v1.9.1