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

James Moger

2014-05-23 c51db7be8f6f48ddebff5053915be68f77e3fc94

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

@@ -58,4 +58,8 @@
   public boolean hasKey(String key) {

      return settings.containsKey(key);

   }



   public SettingModel remove(String key) {

      return settings.remove(key);

   }

}