Re: [PATCH 3/4] [PATCH] git-mirror - exactly mirror another repository

From: Shawn O. Pearce <spearce@spearce.org>
Date: Apr 27, 2007, 04:39 UTC
Message-ID: <20070427043941.GM5942@spearce.org>
In-Reply-To: <20070427020606.22991.14661.stgit@rover>

Petr Baudis <pasky@suse.cz> wrote:

Show 14 quoted lines

> 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?

> +++ b/git-mirror.perl

Otherwise, Ack'd.

-- 
Shawn.