Did you notice that you are already chatting by email? Chatting about
other chat platforms :-) Why not just accepting that emails won? :-)
When discuss.python.org was launched, a few discussions moved there,
and slowly, moved back to python-dev list.
Emails will never die! :-D
Victor
___
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 GitH
On Mon, May 17, 2021 at 12:00 PM Victor Stinner wrote:
> Did you notice that you are already chatting by email? Chatting about
> other chat platforms :-) Why not just accepting that emails won? :-)
>
I have several communities that *only* communicate through Discord, never
email. On the python-d
On Mon, 17 May 2021 at 11:32, Thomas Wouters wrote:
> There's also the social dimension that is simply not present in email -- for
> good reason. There are many messages I have not sent simply because it's
> email, so it's more effort and carries much more weight.
Agreed. An example of somethi
Any update on this issue? Nobody recalls what code and service sends a
comment to bugs.python.org when a commit is merged?
Victor
On Wed, May 12, 2021 at 4:23 PM Guido van Rossum wrote:
>
> Recently it seems that when a PR linked to a bpo issue is merged, no note of
> this event is made in the
I'm guessing we have to escalate this to Ee.
On Mon, May 17, 2021 at 2:58 PM Victor Stinner wrote:
> Any update on this issue? Nobody recalls what code and service sends a
> comment to bugs.python.org when a commit is merged?
>
> Victor
>
> On Wed, May 12, 2021 at 4:23 PM Guido van Rossum wrote
On Mon, May 17, 2021 at 4:58 PM Victor Stinner wrote:
>
> Any update on this issue? Nobody recalls what code and service sends a
> comment to bugs.python.org when a commit is merged?
I might have found it; I at least opened
https://github.com/psf/bpo-roundup/pull/1 against what I found :)
___
> FWIW, I would love to add a core dev Discord server to my long-ish list of
> Discord servers. It's a chat platform I find convenient (much more so than
> Zulip and Slack, and slightly more so than IRC), very organised, with good
> moderation tools (better than Slack and IRC), and widely adopted.
On Mon, May 17, 2021 at 6:44 PM Kyle Stanley wrote:
>
> FWIW, I would love to add a core dev Discord server to my long-ish list of
>> Discord servers. It's a chat platform I find convenient (much more so than
>> Zulip and Slack, and slightly more so than IRC), very organised, with good
>> moderat
