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

Reply via email to