My suggestion is to re-configure stale bot so it just adds the label
stale but does not close the issue/PR.
This enables us to look for outdated issues using the stale label and
close them.
This brings these advantages:
- No more endless re-opening of PRs and issues which is not fun (and I
will eventually give up on).
- Less stalebot comment noise. (Because it is handy to look for all
issues/PRs without any comments to see what is unanswered).
- I'm not listed as "participating" in all the issues/PRs just because
I was just fighting the stalebot.
- Less notifications meaning we can see anything in the noise.