Merged #85 "Tag server-side merges when incremental push tags are enabled"

James Moger

2014-05-23 c51db7be8f6f48ddebff5053915be68f77e3fc94

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

@@ -19,7 +19,7 @@

/**
 * User repository preferences.
 * 
 *
 * @author James Moger
 *
 */
@@ -28,11 +28,11 @@
   private static final long serialVersionUID = 1L;

   public String username;
	

   public String repositoryName;
	

   public boolean starred;
	

   @Override
   public String toString() {
      return username + ":" + repositoryName;