I propose that we add the github action https://github.com/marketplace/actions/close-stale-issues to cime to help us manage old issues and PRs. What do you think?