Update setup_authentication.mkd

Anthony O.

2014-08-08 bdcb8d6d8c858e71f21a274654a41d6d5ab799fc

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

@@ -171,7 +171,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);

               }

            }