From 0222870b88365043175e5a30eeb535327c6ad864 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Sat, 07 Mar 2015 09:38:53 -0500
Subject: [PATCH] Move the Delete Repository button to a separate "administration" tab
---
src/main/java/pt.py | 13 +++++++++++++
1 files changed, 13 insertions(+), 0 deletions(-)
diff --git a/src/main/java/pt.py b/src/main/java/pt.py
index 02c4168..f45bade 100644
--- a/src/main/java/pt.py
+++ b/src/main/java/pt.py
@@ -206,6 +206,12 @@
branches.append(branch.strip())
branch = 'topic/' + args.topic
+ try:
+ int(args.topic)
+ branch = 'ticket/' + args.topic
+ except ValueError:
+ pass
+
illegals = set(branches) & {'topic', branch}
# ensure there are no local branch names that will interfere with branch creation
@@ -246,6 +252,13 @@
push_ref = topic
except ValueError:
pass
+ if curr_branch.startswith('ticket/'):
+ topic = curr_branch[7:].strip()
+ try:
+ int(topic)
+ push_ref = topic
+ except ValueError:
+ pass
if push_ref is None:
push_ref = 'new'
else:
--
Gitblit v1.9.1