On Mon, Feb 27, 2017 at 4:45 PM, Victor Stinner
wrote:
> 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 n
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