From 2548a7e99ce7c6f5b7379a44ec92be80a0adac3d Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 22 Sep 2011 15:37:49 -0400
Subject: [PATCH] Refined mirror federation feature.  Documentation.

---
 distrib/gitblit.properties |   10 +++++++++-
 1 files changed, 9 insertions(+), 1 deletions(-)

diff --git a/distrib/gitblit.properties b/distrib/gitblit.properties
index 2ae6468..734dddd 100644
--- a/distrib/gitblit.properties
+++ b/distrib/gitblit.properties
@@ -391,6 +391,13 @@
 #   if unspecified, the folder is *git.repositoriesFolder*
 #   if specified, the folder is relative to *git.repositoriesFolder*
 #
+# mirror:
+#   if true, each repository HEAD is reset to *origin/master* after each pull.
+#   The repository will be flagged *isFrozen* after the initial clone.
+#
+#   if false, each repository HEAD will point to the FETCH_HEAD of the initial
+#   clone from the origin until pushed to or otherwise manipulated.
+#
 # mergeAccounts:
 #   if true, remote accounts and their permissions are merged into your 
 #   users.properties file 
@@ -411,7 +418,8 @@
 #federation.example1.url = https://go.gitblit.com
 #federation.example1.token = 6f3b8a24bf970f17289b234284c94f43eb42f0e4
 #federation.example1.frequency = 120 mins
-#federation.example1.folder = 
+#federation.example1.folder =
+#federation.example1.mirror = true 
 #federation.example1.mergeAccounts = true
 
 #

--
Gitblit v1.9.1