This is simply based on: https://github.com/mozilla-firefox/firefox/blob/main/.github/workflows/close-pr.yml Automatically redirect users who try to submit a PR at GitHub to instructions on how to submit patches and close the PR. Better experience for potential new developers (since they get immediate feedback, while still in the flow for submitting the patch). The sparse checkout of readme is probably required, so that the gh command knows on what repo to work with. The message text is a combination of the Firefox's text with what people used to write when closing Koha's PRs. I think it should be good enough but of course feel free to share any suggestions for change if you feel like it needs one. TEST PLAN: None honestly. This workflow is proven to work on Firefox's repo. The only change is adding \n newlines to the comment for readability, which I didn't test for whether it works... Otherwise it can only be tested after merging (either to Koha repo or to some dummy test repo if you really want to).
Created attachment 182839 [details] [review] [PATCH] Bug 40027: Use GitHub workflow to automatically close PRs opened on the Koha repo there [PATCH] Bug 40027: Use GitHub workflow to automatically close PRs opened on the Koha repo there Automatically redirect users who try to submit a PR at GitHub to instructions on how to submit patches and close the PR. Better experience for potential new developers (since they get immediate feedback, while still in the flow for submitting the patch). The sparse checkout of readme is probably required, so that the gh command knows on what repo to work with. Based on: https://github.com/mozilla-firefox/firefox/blob/main/.github/workflows/close-pr.yml
Note 1: the presence of .github folder will not impact other git forges. Note 2: the GH_TOKEN: ${{ github.token }} value is populated automatically on workflow's runtime by a temporary token belonging to GitHub Actions user and with a scope permitting basic changes to the repo, so there's no need to manually generate anything.