Hi, On 10.08.22, 12:30, "Stefan Seifert" <stefan.seif...@diva-e.com> wrote: > this sounds like a job that should be automated - e.g. using the stale > github action.
+1 I’m also in favour of automating this task. Some of the PRs just need a nudge, but many can probably be closed because the issue is no longer that relevant. Regards Marcel