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