[python-committers] bpo email problems - Is there someone in the infra boat?

2020-02-28 Thread Antoine Pitrou
Hello, In the end of 2019 I've reported an issue where all b.p.o notifications would get into my spam folder (apparently because my ISP's mail server marks them as suspicious in the e-mail headers): https://github.com/python/psf-infra-meta/issues/16 Then since the beginning of 2020 I haven't be

[python-committers] Re: bpo email problems - Is there someone in the infra boat?

2020-02-28 Thread Antoine Pitrou
(note - apparently the psf.org domain doesn't belong to the PSF - removing it from the cc list :-)) Le 28/02/2020 à 19:42, Antoine Pitrou a écrit : > > Hello, > > In the end of 2019 I've reported an issue where all b.p.o notifications > would get into my spam folder (apparently because my ISP'

[python-committers] Re: bpo email problems - Is there someone in the infra boat?

2020-02-28 Thread Mariatta
I think this is same issue as https://github.com/python/bugs.python.org/issues/38 To get in touch with infrastructure team, you can write to infrastructure-staff at python dot org On Fri, Feb 28, 2020 at 10:44 AM Antoine Pitrou wrote: > > (note - apparently the psf.org domain doesn't belong to

[python-committers] Re: bpo email problems - Is there someone in the infra boat?

2020-02-28 Thread Antoine Pitrou
Le 28/02/2020 à 19:56, Mariatta a écrit : > I think this is same issue > as https://github.com/python/bugs.python.org/issues/38 > > To get in touch with infrastructure team, you can write > to infrastructure-staff at python dot org I'm not sure it's the same issue (my problems started end of las

[python-committers] Re: bpo email problems - Is there someone in the infra boat?

2020-02-28 Thread Guido van Rossum
The solution seems obvious: move to GitHub. :-) On Fri, Feb 28, 2020 at 11:51 Antoine Pitrou wrote: > > Le 28/02/2020 à 19:56, Mariatta a écrit : > > I think this is same issue > > as https://github.com/python/bugs.python.org/issues/38 > > > > To get in touch with infrastructure team, you can wr