Merge branch 'master' of https://github.com/gitblit/gitblit into enhancedLdap

mschaefers

2012-12-03 ba6ae959b8e21c714c69f66254e82837d45a3ed2

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