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 _______________________________________________ python-committers mailing list -- python-committers@python.org To unsubscribe send an email to python-committers-le...@python.org https://mail.python.org/mailman3/lists/python-committers.python.org/ Message archived at https://mail.python.org/archives/list/python-committers@python.org/message/FLPNMXWN6HUPEICFG5KMY77UA5EUEKSY/ Code of Conduct: https://www.python.org/psf/codeofconduct/