On Mon, 14 Apr 2025 at 10:23, Štefan Miklošovič <smikloso...@apache.org> wrote:
> BTW If you still do not want to take care of closing it, that is also > fine, because we have a script at least. > >> >>> Relying on the PR name seems a bit brittle. Maybe it wouldn't take much to improve it. e.g. would it be possible to also auto-detect which PRs, still open, have no changes to merge ? This is an easy indicator that the PR has otherwise been merged. Stale PRs with file conflicts is another lhf category that can get closed out. Not putting the work on you Stefan, just brainstorming…
