From c27efee67c259aed96bb232c0424bbdad4932d4a Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Aug 05 2017 06:15:59 +0000
Subject: Drop the delete button when the config is off


Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>

---

diff --git a/template/repo_info.html b/template/repo_info.html
index 9b85c8d..4a802f4 100644
--- a/template/repo_info.html
+++ b/template/repo_info.html
@@ -192,7 +192,7 @@ git push -u origin master</pre>
 
                 </div>
                 <div class="branch_del col-md-4">
-                  {% if g.repo_committer and branch != head %}
+                  {% if g.repo_committer and branch != head and config.get('ALLOW_DELETE_BRANCH', True) %}
                   <form id="delete_branch_form-{{ branch | replace('/', '__') }}" action="{{
                     url_for('.delete_branch',
                             repo=repo.name,