From: Shawn O. Pearce Date: Fri, 27 Apr 2007 04:39:41 GMT Subject: Re: [PATCH 3/4] [PATCH] git-mirror - exactly mirror another repository Message-ID: <20070427043941.GM5942@spearce.org> In-Reply-To: <20070427020606.22991.14661.stgit@rover> Petr Baudis wrote: > 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.