From 4b4e708d32f56cd8c7d22c951042ba557b6903df Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 02 May 2013 09:58:06 -0400
Subject: [PATCH] Do not include push-restricted, empty repositories for users without push access

---
 src/main/java/com/gitblit/models/RepositoryModel.java |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/main/java/com/gitblit/models/RepositoryModel.java b/src/main/java/com/gitblit/models/RepositoryModel.java
index a2dab3c..5c906e5 100644
--- a/src/main/java/com/gitblit/models/RepositoryModel.java
+++ b/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;

--
Gitblit v1.9.1