Re: [PATCH v6] help: colorize man pages

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: May 24, 2021, 16:56 UTC
Message-ID: <60abdaa5bae55_1b2092082c@natae.notmuch>
In-Reply-To: <7644ac29-2a65-e186-ff40-630dd500e160@gmail.com>

Phillip Wood wrote:

> On 23/05/2021 06:44, Felipe Contreras wrote:

Show 6 quoted lines

> > Suggested-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
> > Phillip Wood <phillip.wood123@gmail.com>
> 
> This footer seems to have got broken between v5 and v6 - were you 
> intending to delete it (which is fine by me) as my comments were about 
> the approach of the last patch?

I was probably trying to put you in the Cc list.

> I'm still not convinced that git should be messing with the appearance 
> of man pages but I don't think we're ever going to agree on that.

That's your opinion, and it's fine, we all have opinions.

But the interesting thing for everyone else is *why*. Why aren't you convinced?

I still haven't heard a convincing argument regarding what makes `git help` fundamentally different from `git diff` _for the user_.

Cheers.

-- 
Felipe Contreras