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

[Python-Dev] Unrelated PRs linked to issues on


Since one or two weeks, I noticed that the bot which links GitHub pull
requests to issues started to link PRs to unrelated

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

Night gathers, and now my watch begins. It shall not end until my death.