[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Python-Dev] Unrelated PRs linked to issues on

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> wrote:

> Hi,
> Since one or two weeks, I noticed that the bot which links GitHub pull
> requests to issues started to link PRs to unrelated
> issues.
> Example: (merged 2 hours
> ago) just added to (closed at the
> end of last year).
> I cannot find "35363" (bpo number) in
> 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
> python-dev.
> Victor
> --
> Night gathers, and now my watch begins. It shall not end until my death.
> _______________________________________________
> Python-Dev mailing list
> Python-Dev at
> Unsubscribe:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>