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

On Fri, Apr 6, 2018 at 8:15 AM, Johannes Schindelin wrote: > On Fri, 6 Apr 2018, Eric Sunshine wrote: >> On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin >> wrote: >> > +color.advice.advice:: >> > + Use customized color for hints.

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

Hi Eric, On Fri, 6 Apr 2018, Eric Sunshine wrote: > On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin > wrote: > > Let's make it easier for users to find out how to customize these colors. > > > > Signed-off-by: Johannes Schindelin > >

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 wrote: > Let's make it easier for users to find out how to customize these colors. > > Signed-off-by: Johannes Schindelin > --- > diff --git a/Documentation/config.txt

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

Let's make it easier for users to find out how to customize these colors. Signed-off-by: Johannes Schindelin --- Documentation/config.txt | 28 1 file changed, 28 insertions(+) diff --git a/Documentation/config.txt