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] >>
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
