We have had stale bot (https://github.com/apps/stale) for a while now out of an experiment and it didn’t sit well with me as it closes PRs that just didn’t get any reviews. This is a long standing issue and we are sometimes really not great with reviewing incoming PRs. Unless that is solved in the first place I see no place for stale bot or at least not with any short timing. Closing after a year or so, maybe but apart from that I just feel it removes possible solutions to bugs out of sight that even if there are conflicts after a while are much better than not having them at all.
Now that is just me, but it seems this is a more controversial topic that needs proper discussion and possibly voting. So here we go, this is the discussion thread. I will add a vote in a week or so when the discussion settled down.