Re: [python-committers] No more notifications of commits (merged PR) on bpo?