Show inherited push scripts in Manager

James Moger

2011-12-28 f2dff4ea2ba10dca13b54d5968c5021f071b3ddd

 src/com/gitblit/wicket/pages/EmptyRepositoryPage.java

@@ -49,6 +49,7 @@
      

      add(new Label("repository", repositoryName));

      add(new RepositoryUrlPanel("pushurl", repositoryUrls.get(0)));

      add(new Label("syntax", MessageFormat.format("git remote add gitblit {0}\ngit push gitblit master", repositoryUrls.get(0))));

      add(new Label("cloneSyntax", MessageFormat.format("git clone {0}", repositoryUrls.get(0))));

      add(new Label("remoteSyntax", MessageFormat.format("git remote add gitblit {0}\ngit push gitblit master", repositoryUrls.get(0))));

   }

}