Derrick Stolee wrote:

On 6/10/2021 6:58 PM, Ævar Arnfjörð Bjarmason wrote:

quoted

The skepticism about this being needed at all isn't an opinion I hold
about software documentation in general, but about software in Git's
problem space specifically.

A change that says "don't use 'he' and/or 'she' unnecessarily" is
important to encode as a project guideline so we can stop having
discussions about their use whenever they are introduced in a patch.

That has historically never been a problem.

And there's no need to make it a problem.

There is value in having this decision encoded,

But such decision has not been made.

And more importantly: there's absolutely no need to tie your correction
patches to a change in the guideline.

-- 
Felipe Contreras