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/IStoredSettings.java | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-) diff --git a/src/main/java/com/gitblit/IStoredSettings.java b/src/main/java/com/gitblit/IStoredSettings.java index 790f8b6..246262d 100644 --- a/src/main/java/com/gitblit/IStoredSettings.java +++ b/src/main/java/com/gitblit/IStoredSettings.java @@ -288,6 +288,16 @@ } /** + * Override the specified key with the specified value. + * + * @param key + * @param value + */ + public void overrideSetting(String key, int value) { + overrides.put(key, "" + value); + } + + /** * Updates the values for the specified keys and persists the entire * configuration file. * -- Gitblit v1.9.1