Re: [PATCH v2 4/4] Document the new color.* settings to colorize push errors/hints
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Apr 7, 2018, 06:55 UTC
- Message-ID
- <CAPig+cR+=8fWYtiOyuvuRoLPRSUUAVz_iU3p64Jttff+2xdHYg@mail.gmail.com>
- In-Reply-To
- <nycvar.QRO.7.76.6.1804061414330.55@ZVAVAG-6OXH6DA.rhebcr.pbec.zvpebfbsg.pbz>
On Fri, Apr 6, 2018 at 8:15 AM, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 10 quoted lines
> On Fri, 6 Apr 2018, Eric Sunshine wrote: >> On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin >> <johannes.schindelin@gmx.de> 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.