Why don’t we create a Dev category now, and then we can always refactor it later?
Right now we’re in the awkward position where we have duplication between 3 of the main 4 channels, but no place on discourse to put general development-related discussion:
| Mailing list | Discourse category |
|---|---|
| python-committers | Committers |
| python-dev | ??? |
| python-ideas | Ideas |
| python-users | Users |
And this is causing practical problems: discussions that should go in the Dev category are instead ending up in Committers (which excludes contributors who aren’t committers), or else in Users (which is causing confusion).
(I’d also suggest moving the nomination threads to the new Dev category.)