From 2b7682680292bb2118790fa24aa597eb51c7f1a6 Mon Sep 17 00:00:00 2001 From: David Ostrovsky <david@ostrovsky.org> Date: Sun, 14 Apr 2013 06:36:44 -0400 Subject: [PATCH] Bump JGit version to 3.0.0-SNAPSHOT --- src/main/java/com/gitblit/wicket/GitBlitWebApp.properties | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties index b0d559f..f2d4a36 100644 --- a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties @@ -445,4 +445,7 @@ gb.owners = owners gb.sessionEnded = Session has been closed gb.closeBrowser = Please close the browser to properly end the session. -gb.doesNotExistInTree = {0} does not exist in tree {1} \ No newline at end of file +gb.doesNotExistInTree = {0} does not exist in tree {1} +gb.enableIncrementalPushTags = enable incremental push tags +gb.useIncrementalPushTagsDescription = on push, automatically tag each branch tip with an incremental revision number +gb.incrementalPushTagMessage = Auto-tagged [{0}] branch on push \ No newline at end of file -- Gitblit v1.9.1