From a1cee65c7242f69f7e35978d98cea391095d7225 Mon Sep 17 00:00:00 2001
From: Luca Milanesio <luca.milanesio@gmail.com>
Date: Fri, 12 Jun 2015 12:59:47 -0400
Subject: [PATCH] Bump to JGit 4.0.0

---
 src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage.html |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage.html b/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage.html
index ebd513a..31226ff 100644
--- a/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage.html
+++ b/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage.html
@@ -10,7 +10,7 @@
 <div class="markdown">
 <div class="row">
 <div class="span10 offset1">	
-	<h2><center>Empty Repository</center></h2>
+	<h3><center>Empty Repository</center></h3>
 	<div class="alert alert-info">
 		<span wicket:id="repository" style="font-weight: bold;">[repository]</span> is an empty repository and can not be viewed by Gitblit.
 		<p></p>		

--
Gitblit v1.9.1