From 10177fb0a59cc9fc61fb78c724f7b0816b69b798 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Sat, 01 Oct 2011 15:50:22 -0400 Subject: [PATCH] CSS fixes for palette buttons --- src/com/gitblit/models/UserModel.java | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/com/gitblit/models/UserModel.java b/src/com/gitblit/models/UserModel.java index aeeecf4..0d88ce2 100644 --- a/src/com/gitblit/models/UserModel.java +++ b/src/com/gitblit/models/UserModel.java @@ -17,8 +17,8 @@ import java.io.Serializable; import java.security.Principal; -import java.util.ArrayList; -import java.util.List; +import java.util.HashSet; +import java.util.Set; /** * UserModel is a serializable model class that represents a user and the user's @@ -36,7 +36,8 @@ public String username; public String password; public boolean canAdmin; - public final List<String> repositories = new ArrayList<String>(); + public boolean excludeFromFederation; + public final Set<String> repositories = new HashSet<String>(); public UserModel(String username) { this.username = username; -- Gitblit v1.9.1