Where to Get Help - Python Developer's Guide doesn’t mention the Python Core Devs Discord, but the recent’ish thread at Best comms channel for core dev? recommends it as the best current option for real time chat with other core devs.
I’m aware the last couple of core dev sprints have used Discord, but the 2020 sprint guide that I found in my email archives referenced the public server at Communication — Python Core Sprint 2020 documentation rather than the private one.
While Discourse’s “similar topics” feature when starting a new thread pointed me to the key post in the core-dev-only area with the private server link (so I’ve joined the server now), I think there’s a bit of additional info that would also be useful:
- Pointing to https://support.discord.com/hc/en-us/articles/219070107-Server-Nicknames and the ability to right click your username in the automatic Discord server welcome message to set a server specific nickname under “Edit Server Profile”.
- the process for getting our Discord role upgraded to match our GitHub role isn’t clear. I’ve now added my underlying Discord user profile ID to https://github.com/python/voters/blob/main/python-core.toml, so the the link between my Discord ID and my GitHub idea can be verified from that commit, but that option is only available to core devs with access to the voter list - it isn’t available to triagers and documentarians
I’ll be happy to submit the PR updating the developer guide, but I need to know what it should be saying first