New permissions UI for EditUser and EditTeam (issue 36)

James Moger

2012-10-18 b0e164283fee6f993589cce849ba1fc7d294e89d

 src/com/gitblit/models/ProjectModel.java

@@ -53,6 +53,10 @@
      this.title = "";

      this.description = "";

   }

	
   public boolean isUserProject() {

      return name.charAt(0) == '~';

   }



   public boolean hasRepository(String name) {

      return repositories.contains(name.toLowerCase());