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

mschaefers

2012-12-03 ba6ae959b8e21c714c69f66254e82837d45a3ed2

 src/com/gitblit/RpcServlet.java

@@ -110,6 +110,11 @@
               // skip empty repository

               continue;

            }

            if (model.isCollectingGarbage) {

               // skip garbage collecting repository

               logger.warn(MessageFormat.format("Temporarily excluding {0} from RPC, busy collecting garbage", model.name));

               continue;

            }

            // get local branches

            Repository repository = GitBlit.self().getRepository(model.name);

            List<RefModel> refs = JGitUtils.getLocalBranches(repository, false, -1);