12 May
2021
12 May
'21
8:22 a.m.
Recently it seems that when a PR linked to a bpo issue is merged, no note of this event is made in the bpo issue. Look at https://bugs.python.org/issue43933 for example. There are notes for the first two merged PRs (25717 and 25719), at https://bugs.python.org/issue43933#msg392343 and the next message. But I cannot find a similar note for the third PR, 26054, which is also merged.
I recall seeing this for other recent issues as well. Did some piece of automation recently break? (Could it have to do with the master->main move?)
--Guido (mobile)