src/com/gitblit/client/EditUserDialog.java
@@ -347,10 +347,15 @@ restricted.add(repo.name); } } // remove repositories for which user already has a permission if (permissions == null) { permissions = new ArrayList<RegistrantAccessPermission>(); } else { for (RegistrantAccessPermission rp : permissions) { restricted.remove(rp.registrant); } } StringUtils.sortRepositorynames(restricted); repositoryPalette.setObjects(restricted, permissions);