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/archive%40mail-archive.com
