A lot of stale PR email
Stefan Vodita <[email protected]> Thu, 16 Oct 2025 14:11:04 +0100
| Newsgroups | gmane.comp.jakarta.lucene.devel |
|---|---|
| Message-ID | <CACvkcrpZiF96_hVEOvSY3SvjYXOME0F+CG-Nd4J6vEtxJwqQ+A@mail.gmail.com> |
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