Hi Eric, On Fri, 6 Apr 2018, Eric Sunshine wrote: > On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin > <johannes.schindelin@xxxxxx> wrote: > > Let's make it easier for users to find out how to customize these colors. > > > > Signed-off-by: Johannes Schindelin <johannes.schindelin@xxxxxx> > > --- > > 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? As per the patch, yes. But you're right, it sounds silly. Will change to `color.advice.hint`, okay? Will be fixed in v3, Dscho
