One possible reason is when we wrote the wrong boo number in the PR, and
then changed it to the correct one. Not sure if this was the case.
The linking of PR number in boo is done in bpo. There was a similar issue:
https://github.com/python/bugs.python.org/issues/25
On Wed, May 22, 2019, 12:21 AM
Hi,
Since one or two weeks, I noticed that the bot which links GitHub pull
requests to bugs.python.org issues started to link PRs to unrelated
issues.
Example: https://github.com/python/cpython/pull/13148 (merged 2 hours
ago) just added to https://bugs.python.org/issue35363 (closed at the
end of
