stale.yaml
The old `stale.yaml` seems not to work anymore, so I set up the same content in a new github workflow. I think we should use it again to get rid of old issues.