Added support to Manager for relinking HEAD via JSON-RPC

James Moger

2012-02-02 df02920703f6fe191b80fc679e01e95a6b1831c0

 src/com/gitblit/models/ServerSettings.java

@@ -35,6 +35,8 @@


   private static final long serialVersionUID = 1L;



   public List<String> pushScripts;



   public ServerSettings() {

      settings = new TreeMap<String, SettingModel>();

   }