On Tue, 2019-10-15 at 16:47 -0400, Mike Gilbert wrote:
> On Tue, Oct 15, 2019 at 4:35 PM Michał Górny <mgorny@gentoo.org> wrote:
> > Hello, everyone.
> > 
> > I'd like to highlight a major problem with devmanual.  For a basic
> > policy & developer documentation thingie, it's quality is so-so at best.
> > A lot of stuff is missing, lots of things are outdated or even
> > incorrect.  Not many people are contributing, and those who try quickly
> > resign.
> 
> Maybe you should join the project? Especially if you are making major
> contributions.

Are you suggesting that I join the project and start committing without
review, or disregarding review?  I have serious doubts on joining
the project if I am repeatedly proven to be doing things wrong --
whether the issues were serious or not.

> 
> > Most of my pull requests were apparently approved, so they might be
> > finally merged some day.
> 
> I believe all devs have push access to that repo, so you could just
> push the changes yourself if there are no reasonable objections.

I never realized that.

> 
> Minor mistakes happen, and can be corrected after the fact.
> 

-- 
Best regards,
Michał Górny