(original) (raw)
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 Victor Stinner <vstinner@redhat.com> wrote:
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 last year).
I cannot find "35363" (bpo number) in
https://github.com/python/cpython/pull/13148 nor in
https://github.com/python/cpython/pull/13148/files
Does anyone have an idea why unrelated PRs are added to issues?
I don't know which bot is responsible for this task, nor who operates
this bot. So in case of doubt, I chose to send a message to
python-dev.
Victor
\--
Night gathers, and now my watch begins. It shall not end until my death.
\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: https://mail.python.org/mailman/options/python-dev/mariatta%40python.org