Merge branch 'master' of https://github.com/gitblit/gitblit

mrbytes

2013-07-19 1c5a45ebe6285b0f6a9b8f50d5467baa11a1ff63

 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) {