Petr Baudis <pasky@xxxxxxx> 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. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html