From: Eric Sunshine Date: Sat, 07 Apr 2018 06:55:44 GMT Subject: Re: [PATCH v2 4/4] Document the new color.* settings to colorize push errors/hints Message-ID: In-Reply-To: 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. >> >> Is "color.advice.advice" correct? > > As per the patch, yes. But you're right, it sounds silly. Will change to > `color.advice.hint`, okay? That's more understandable. Thanks.