From 6c5885f4fbc78d7019006ba16e91aea222b5aa74 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Wed, 15 May 2013 16:09:36 -0400 Subject: [PATCH] Merged pull request #88 - improve page title --- src/main/java/com/gitblit/wicket/GitBlitWebApp.properties | 7 ++++++- 1 files changed, 6 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..7ebea4e 100644 --- a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties @@ -445,4 +445,9 @@ 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 +gb.externalPermissions = {0} access permissions are externally maintained +gb.viewAccess = You do not have Gitblit read or write access \ No newline at end of file -- Gitblit v1.9.1