Fixed duplicate entries in repository cache (issue 140)

James Moger

2012-10-04 9f5a860d1ecaebb80530fc22607d34fc80d8c09d

 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());