Move delete repository function into the edit page

James Moger

2014-05-09 b4ed66fda03d83fd281ca9cbeae0a1c7785489e4

 src/main/java/com/gitblit/tickets/TicketNotifier.java

@@ -204,7 +204,9 @@
         } catch (Exception e) {
            Logger.getLogger(getClass()).error("failed to get changed paths", e);
         } finally {
            repo.close();
            if (repo != null) {
               repo.close();
            }
         }

         String compareUrl = ticketService.getCompareUrl(ticket, base, patchset.tip);