[Python-Dev] Unrelated PRs linked to issues on bugs.python.org
mariatta.wijaya at gmail.com
Tue May 21 22:15:17 EDT 2019
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:
On Wed, May 22, 2019, 12:21 AM Victor Stinner <vstinner at redhat.com> wrote:
> 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
> 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
> 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
> Night gathers, and now my watch begins. It shall not end until my death.
> Python-Dev mailing list
> Python-Dev at python.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-Dev