Re: [PATCH 3/4] [PATCH] git-mirror - exactly mirror another repository
From: Shawn O. Pearce <hidden>
Date: 2016-06-15 22:43:07
Petr Baudis [off-list ref] wrote:
quoted hunk ↗ jump to hunk
diff --git a/Documentation/config.txt b/Documentation/config.txt index e0aff53..e05e4c5 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt@@ -513,6 +513,12 @@ log.showroot:: Tools like gitlink:git-log[1] or gitlink:git-whatchanged[1], which normally hide the root commit will now show it. True by default. +mirror.allowed:: + If true, gitlink:git-mirror[1] will be allowed to run on the + repository. Please see its documentation for all the implications. + +mirror. +
Uhhh.... what's that mirror. line for?
quoted hunk ↗ jump to hunk
+++ b/git-mirror.perl
Otherwise, Ack'd. -- Shawn.