Pull requests with 'DO NOT MERGE' label

Hi everybody,

There are 56 open pull requests with the ‘DO NOT MERGE’ label, with some going back to 2017. I’m sure some of these aren’t ever going to be merged or at least the pull request needs a lot of work before it would be merged. If you can take a look at them to close them or add comments as appropriate, that would be appreciated. Thanks!



FTR, here is a link to the list of these PRs.

Also, there are a further 19 PRs that match “WIP” but don’t have the DO-NOT-MERGE label.

I propose to simply close the oldest PRs, but with a friendly warning 1 month before.

Maybe send a warning that you will close a PR if there is no activity in one month, and one month later, close the PR. I suggest to do that on PR which are older than 1 year.

If the author wants to work again on the change, it’s easy. The branch is not closed: the PR can be reopened, or a new PR can be created. Maybe explain that when you close the issue.

I have the tag on 5 IDLE issues. I am not ready to merge or reject any of them. The labels could be removed, but I am not sure of the point.

This seems like it would just create busy work for me. A closed PR is listed as such on the bpo issue and it means merged or possibly reject. In any case, I can ignore it. I’d like to keep it that way.

PS. I have merged PRs based on patches as much as a decade old.