From 18231200d33b62d2d96286b9bbd84476df5d9189 Mon Sep 17 00:00:00 2001
From: Morten Bøgeskov <source@bogeskov.dk>
Date: Mon, 15 Jun 2015 12:51:52 -0400
Subject: [PATCH] Added git.sshDisplay{Port|Host} to hide port forward.
---
src/main/distrib/data/defaults.properties | 12 ++++++++++++
1 files changed, 12 insertions(+), 0 deletions(-)
diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties
index cc42d90..272eec0 100644
--- a/src/main/distrib/data/defaults.properties
+++ b/src/main/distrib/data/defaults.properties
@@ -112,6 +112,18 @@
# RESTART REQUIRED
git.sshBindInterface =
+# Manually specify the hostname to use in advertised SSH repository urls.
+# This may be useful in complex forwarding setups.
+#
+# SINCE 1.7.0
+git.sshDisplayHost =
+
+# Manually specify the port to use in advertised SSH repository urls.
+# This may be useful in complex forwarding setups.
+#
+# SINCE 1.7.0
+git.sshDisplayPort =
+
# Specify the SSH key manager to use for retrieving, storing, and removing
# SSH keys.
#
--
Gitblit v1.9.1