Re: [PATCH v2 4/4] Document the new color.* settings to colorize push errors/hints

> On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin
> <johannes.schindelin@gmx.de> wrote:
> > Let's make it easier for users to find out how to customize these colors.
> >
> > Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
> > ---
> > diff --git a/Documentation/config.txt b/Documentation/config.txt
> > @@ -1088,6 +1088,16 @@ clean.requireForce::
> > +color.advice::
> > +       A boolean to enable/disable color in hints (e.g. when a push
> > +       failed, see `advice.*` for a list).  May be set to `always`,
> > +       `false` (or `never`) or `auto` (or `true`), in which case colors
> > +       are used only when the error output goes to a terminal. If
> > +       unset, then the value of `color.ui` is used (`auto` by default).
> > +
> > +color.advice.advice::
> > +       Use customized color for hints.
> 
> Is "color.advice.advice" correct?