[deaddabe]

Worse, stalebot makes it looks like the project has no issues nor known problems. Issues should be closed either with "wontfix" or let open if they detail a real bug that others may stumble upon. In the end, I agree that it takes time to do that, and who am I to dictate how people spend their time.

Maybe the best solution would be to completly disable issues and PRs on Github. Still better than having to deal with stalebot. At least you know what to expect: external solicitation is not welcomed.

[ushakov]

you can't disable PRs on GitHub, can you?

[khuey]

No, but you can have a GitHub Action that automatically closes them. This is what llvm/llvm-project does.

[karussell]

We need a feature where at least we can review the PR before it is created.