Florian Zschocke
2013-08-15 69007029f122c3f77db044e879188cc12be3c2f6
src/main/java/com/gitblit/models/UserModel.java
@@ -273,7 +273,13 @@
   }
      
   public void setRepositoryPermission(String repository, AccessPermission permission) {
      permissions.put(repository.toLowerCase(), permission);
      if (permission == null) {
         // remove the permission
         permissions.remove(repository.toLowerCase());
      } else {
         // set the new permission
         permissions.put(repository.toLowerCase(), permission);
      }
   }
   public RegistrantAccessPermission getRepositoryPermission(RepositoryModel repository) {