As proposed by @aeros on the python-dev mailing list, “Core Development” is probably a better descriptor of the category so it doesn’t get confused with “Core Developer”
3 Likes
For additional context, see the python-dev thread.
2 Likes
Done. If people end up getting confused we can change it back. I did keep the short name, though, so it’s still #core-dev for the shorthand.
4 Likes