On 5/14/21 12:28 PM, Victor Stinner wrote:
Hi,
I'm always connected to IRC #python-dev (Freenode) for 10 years, a few other core devs use it time to time. Come to say hello ;-)
The bugs.python.org and buildbot notifications are useful to me and I don't feel annoyed by them. But GitHub review are hard to use: only the user name and the PR number are given: PR title and comment content are not provided, you have to click on each link to know more. Moreover, when a user leaves 10 comments, there are 10 IRC notifications!
Using #python-dev here as well, but with 99% of the messages being bot messages it makes it hard to see the real in-person discussions. Not saying that it's not useful, but a separate IRC channel for these might be more welcoming for #python-dev, independent of this discussions about other platforms.
Matthias