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

mschaefers

2012-12-03 ba6ae959b8e21c714c69f66254e82837d45a3ed2

 src/com/gitblit/AddIndexedBranch.java

@@ -63,7 +63,7 @@
      

      // determine available repositories

      File folder = new File(params.folder);

      List<String> repoList = JGitUtils.getRepositoryList(folder, false, true, -1);

      List<String> repoList = JGitUtils.getRepositoryList(folder, false, true, -1, null);

      

      int modCount = 0;

      int skipCount = 0;