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

James Moger

2013-04-15 107e778323006be247638e466ab1b134c9dcb58f

 src/main/java/com/gitblit/models/RepositoryModel.java

@@ -50,6 +50,8 @@
   public boolean showRemoteBranches;

   public boolean useTickets;

   public boolean useDocs;

   public boolean useIncrementalPushTags;

   public String incrementalPushTagPrefix;

   public AccessRestrictionType accessRestriction;

   public AuthorizationControl authorizationControl;

   public boolean allowAuthenticated;