Summary: | Use GitHub workflow to automatically close PRs opened on the Koha repo there | ||
---|---|---|---|
Product: | Koha | Reporter: | Michał <schodkowy.omegi-0r> |
Component: | Developer documentation | Assignee: | Michał <schodkowy.omegi-0r> |
Status: | Needs Signoff --- | QA Contact: | Testopia <testopia> |
Severity: | trivial | ||
Priority: | P5 - low | CC: | koha-bugs |
Version: | Main | ||
Hardware: | All | ||
OS: | All | ||
GIT URL: | Change sponsored?: | --- | |
Patch complexity: | --- | Documentation contact: | |
Documentation submission: | Text to go in the release notes: | ||
Version(s) released in: | Circulation function: | ||
Attachments: | [PATCH] Bug 40027: Use GitHub workflow to automatically close PRs opened on the Koha repo there |
Description
Michał
2025-05-29 13:39:11 UTC
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. |