From: Felipe Contreras Date: Mon, 24 May 2021 16:56:05 GMT Subject: Re: [PATCH v6] help: colorize man pages 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: > > Suggested-by: Ævar Arnfjörð Bjarmason > > Phillip Wood > > 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