Manually redirect after branch deletion (issue 282)

James Moger

2013-07-31 e523d77e5f9d61a7cbf0b2242c8795a22fdf7b45

 src/main/java/com/gitblit/GitFilter.java

@@ -43,7 +43,7 @@
   /**

    * Extract the repository name from the url.

    * 

    * @param url

    * @param cloneUrl

    * @return repository name

    */

   public static String getRepositoryName(String value) {