On Tue, Oct 15, 2019 at 4:35 PM Michał Górny <mgo...@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. > 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. Minor mistakes happen, and can be corrected after the fact.
