Merged #257 "Bump to JGit 4.0.0"

James Moger

2015-06-15 c0c5b206bb8d61fb82f09511f8b0214b64f726f4

 src/main/java/com/gitblit/transport/ssh/git/BaseGitCommand.java

@@ -86,10 +86,9 @@
      repository = repository.replace('\\', '/');
      // ssh://git@thishost/path should always be name="/path" here
      //
      if (!repository.startsWith("/")) {
         throw new Failure(1, "fatal: '" + repository + "': not starts with / character");
      if (repository.startsWith("/")) {
         repository = repository.substring(1);
      }
      repository = repository.substring(1);
      try {
         return repositoryResolver.open(getContext().getClient(), repository);
      } catch (Exception e) {