Re: What's cooking in git.git (Jun 2021, #06; Thu, 17)

From: Jeff King <peff@peff.net>
Date: Jun 18, 2021, 00:27 UTC
Message-ID: <YMvofq5aSryQzpZQ@coredump.intra.peff.net>
In-Reply-To: <YMvhoXVBoO08ziI1@camp.crustytoothpaste.net>

On Thu, Jun 17, 2021 at 11:58:25PM +0000, brian m. carlson wrote:

Show 15 quoted lines

> On 2021-06-17 at 02:55:26, Junio C Hamano wrote:
> > * bc/doc-asciidoctor-to-man-wo-xmlto (2021-05-14) 2 commits
> >  - doc: remove GNU_ROFF option
> >  - doc: add an option to have Asciidoctor build man pages directly
> > 
> >  An option to render the manual pages via AsciiDoctor bypassing
> >  xmlto has been introduced.
> > 
> >  What is the status of this one?
> 
> Probably best to drop it.  I think Felipe didn't want his sign-off on
> it, and I don't think there's a good way to produce an equivalent patch
> without incorporating his changes.  We don't seem to see eye to eye on
> an appropriate solution to the problem, and I don't feel like arguing
> about it further.

Hmm. I'm not sure if that's a good resolution here. I do think many people were positive in moving in that direction. If there's a contributor that people have trouble working with, I'm OK giving up on possible contributions they could make, even adaptations of their work.

But if by working in an area they poison it for others (because there's no desire to work with them, but no desire to step on their toes) that doesn't seem like a workable long-term strategy.

I don't think this topic is particularly urgent, so I'm OK to drop it for now (and as always, it's your choice what you work on). But I'm worried about the general precedent / principle.

-Peff