Re: A lot of stale PR email

I understand the bug. Will make a PR

On Thu, Oct 16, 2025 at 10:30 AM Stefan Vodita <[email protected]> wrote:
>
> It's strange that the stale PRs got unmarked, but it looks to me like they are labeled correctly now. Maybe we've rolled forward to a good state?
>
> On Thu, 16 Oct 2025 at 14:39, Robert Muir <[email protected]> wrote:
>>
>> 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
>> >
>>
>> ---------------------------------------------------------------------
>> To unsubscribe, e-mail: [email protected]
>> For additional commands, e-mail: [email protected]
>>