On Fri, May 14, 2021 at 12:28:00PM +0200, Victor Stinner wrote:
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!
That's my experience too. Should the bot alerts be sent different channel, so that it has more people focus?
Mailing lists, discuss.python.org, IRC, Zulipchat, Twitter, private messages, etc. Well, I have enough communication channels to talk with other core devs ;-) https://pythondev.readthedocs.io/communication.html
Certainly. If we introduce another, perhaps the kill one which which didn't take off. I agree, not introducing another one to be mix is desirable.
-- Senthil