Hi, I know we had similar discussions in the past but I’d like to bring up this topic again.
What do you think about adding a stale bot (https://probot.github.io/apps/stale/ <https://probot.github.io/apps/stale/>) to our Github Repo? This would automatically nag about stale PRs and close them after a (configurable) time of inactivity. This would do two things: (1) Clean up old PRs that truly are outdated and stale (2) Remind both contributor and reviewers about PRs that are still good and are on the verge of getting stale, thus potentially speeding up review or facilitating it in the first place Best, Aljoscha
