Move the Delete Repository button to a separate "administration" tab

James Moger

2015-03-07 0222870b88365043175e5a30eeb535327c6ad864

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

@@ -201,6 +201,12 @@
            q = q.substring(1, q.length() - 1);
         }
      }
      if (q.startsWith("AND ")) {
         q = q.substring(3).trim();
      }
      if (q.startsWith("OR ")) {
         q = q.substring(2).trim();
      }
      return q;
   }