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 _______________________________________________ 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/X3DQAT3WLYIHA3UYZ4U5XY7LTNRUVOQK/ Code of Conduct: https://www.python.org/psf/codeofconduct/
