[Koha-bugs] [Bug 40027] New: Use GitHub workflow to automatically close PRs opened on the Koha repo there