Revise push/mirror tickets branch triggering

James Moger

2014-03-06 9883341c1fbb35abcb7a1d09f93f6a9e805ea551

 src/main/java/com/gitblit/wicket/pages/BasePage.java

@@ -93,6 +93,9 @@
      if (app().settings().getBoolean(Keys.web.useResponsiveLayout, true)) {

         add(CSSPackageResource.getHeaderContribution("bootstrap/css/bootstrap-responsive.css"));

      }

      if (app().settings().getBoolean(Keys.web.hideHeader, false)) {

         add(CSSPackageResource.getHeaderContribution("hideheader.css"));

      }

   }



   protected String getCanonicalUrl() {