Hello,
On 08.11.23 10:29, Henning Westerholt wrote:
> Hello,
>
> we probably also might want to inform the users on the sr-users lists about
> that, as reporting bugs can be some work indeed.
>
> One question related to the process: If the stale label has been removed from
> a user or
Hello,
we probably also might want to inform the users on the sr-users lists about
that, as reporting bugs can be some work indeed.
One question related to the process: If the stale label has been removed from a
user or developer, will it automatically be added again from the bot after 6
