Re: A lot of stale PR email

Robert Muir <[email protected]> Thu, 16 Oct 2025 09:36:52 -0400

Newsgroups	gmane.comp.jakarta.lucene.devel
Message-ID	<CAOdYfZXok4CksnpUGPdmTWSsfBrv_7nJSaLQ0UM+75t443i0hQ@mail.gmail.com>

I may have introduced some bugs in this bot, I had to do a lot of
cleanups to permissions (across all workflows) to improve the actions
security stance.

See https://github.com/apache/lucene/pull/15258/files#diff-51ad150d9267fd22caa03dc5ddde5b15bb52c5cfd017217da30270b5c10ab6ae
for changes to this bot in particular. I tried to be careful but it
was just a lot of changes, across a lot of automation, so I'd bet that
I introduced some bugs somewhere.

On Thu, Oct 16, 2025 at 9:13 AM Stefan Vodita <[email protected]> wrote:
>
> Hi all,
>
> It looks like the bot that marks stale PRs has unmarked a lot of them (all?) two weeks ago and marked them stale again today. Do we know why? Have I missed some discussion about this?
>
> Stefan
>