RetroSearch Browse

Tue May 21 18:19:13 EDT 2019 · https://mail.python.org/pipermail/python-dev/2019-May/157592.html

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.

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2019-May/157592.html below:

[Python-Dev] Unrelated PRs linked to issues on bugs.python.org