devguide
devguide copied to clipboard
Move `core-developers/` to `core-team/`
We can already incrementally make some of the contrib changes to the main guide (see for example https://github.com/python/devguide/pull/1467 and https://github.com/python/devguide/pull/1461 for earlier work).
To better follow the language of PEP 13, prefer "core team" over "core developers".
This PR:
- Moves the
core-developers/files/URLs tocore-team/ - Update and add redirects in
conf.pyso the oldcore-developers/URLs go tocore-team/ - Rename 'Core developers' section to 'Core team'
- Rename 'How to become a core developer' page to 'How to join the core team' and
become-core-developer.rsttojoin-team.rst
Other prose changes can follow.
cc @nedbat @willingc
📚 Documentation preview 📚: https://cpython-devguide--1593.org.readthedocs.build/
And I think I'll rename:
core-team/developer-log.rsttocore-team/team-log.rstcore-team/developers.csv->core-team/core-team.csv
Love this @hugovk 🙏🏼