From 17725677285470ca7dbf5da93e4235415545a7cf Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Wed, 26 Jun 2013 17:09:01 -0400
Subject: [PATCH] Support custom header logo images of 120x45 (issue 208)
---
src/main/distrib/data/gitblit.properties | 7 +++++++
1 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties
index d5573a6..50b09f3 100644
--- a/src/main/distrib/data/gitblit.properties
+++ b/src/main/distrib/data/gitblit.properties
@@ -531,6 +531,13 @@
# SINCE 0.5.0
web.siteName =
+# You may specify a different logo image for the header but it must be 120x45px.
+# If the specified file does not exist, the default Gitblit logo will be used.
+#
+# SINCE 1.3.0
+# BASEFOLDER
+web.headerLogo = ${baseFolder}/logo.png
+
# If *web.authenticateAdminPages*=true, users with "admin" role can create
# repositories, create users, and edit repository metadata.
#
--
Gitblit v1.9.1