The guidelines are unchanged, apart from linking back to the
CONTRIBUTING document and introducting section headers.
This serves multiple purposes:
* The maintainer guidelines are easier to find for maintainers.
* The CONTRIBUTING document needs fewer changes, meaning fewer
"guideline changed" warnings for contributors.
* The – already very long – CONTRIBUTING document is shorter,
and doesn't contain information irrelevant for regular contributors.
I removed a few people who have not been active in the typing area for a long time, and added @rchen152 who is active on the repo and has commit rights. There are a few other people who have access to the repo but are not active. Listing them here does not seem useful.
This shuffles sections around between README.md and CONTRIBUTING.md. CONTRIBUTING now contains information pertaining to opening PRs, README all other information. I have also moved the list of maintainers to a separate file.
I have kept most information intact for now, with two main exceptions:
I removed duplicated information.
For brevity's sake, I trimmed some explanations from the section about version checks.
I have restructured the CONTRIBUTING file to follow the order of the introductory "contribution process at a glance" section. This now serves as a bit of a table of contents.
Closes: #5422
Jelle Zijlstra