Fix cloning repositories with + in their names

James Moger

2014-06-10 46bfccb0d57ba75d195be7afa54e37ba0d4321d1

 src/main/java/com/gitblit/wicket/pages/TicketPage.java

@@ -389,7 +389,7 @@
            } else {

               // authorization is by NAMED users (users with PUSH permission can be set responsible)

               for (RegistrantAccessPermission rp : app().repositories().getUserAccessPermissions(getRepositoryModel())) {

                  if (rp.permission.atLeast(AccessPermission.PUSH) && !rp.isTeam()) {

                  if (rp.permission.atLeast(AccessPermission.PUSH)) {

                     userlist.add(rp.registrant);

                  }

               }