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

Hi,

My PR was merged, but I don't see any notification on bpo: https://github.com/python/cpython/pull/253 http://bugs.python.org/issue27840

A few weeks ago, we got two notifications per commit (hg, git), and now there is zero notification :-)

Is it a known issue?

Victor