github/codeql-action
1
0
Fork 0
mirror of https://github.com/github/codeql-action.git synced 2025-12-06 07:48:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Manually edit PR instructions

Browse Source 
- Conditions all must be true, not just any one of them
- Make it clearer that no files should be reviewed, except for the two listed ones
This commit is contained in:
Michael B. Gale
2025-08-12 11:51:44 +01:00
parent 1813a6cc1c
commit cd4167966c
1 changed files with 4 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
.github/copilot-instructions.md vendored
View File

@@ -8,18 +8,14 @@ GitHub Actions workflows in the `.github/workflows` directory whose filenames st
## Release process
- Do not review PRs that match any of the following release-PR patterns:
- A release-PR is a PR which matches all of the following patterns:
- PR title starts with the exact prefix: `Merge main into releases/v`
- Equivalent regex: `^Merge main into releases\/v`
- OR head (source) branch matches the update-branch pattern:
- AND head (source) branch matches the update-branch pattern:
- Regex: `^update-v[0-9]+(?:\.[0-9]+)*(?:-[a-f0-9]+)?` (e.g. `update-v3.29.9-cc722e476`)
- OR base (target) branch matches a release branch:
- AND base (target) branch matches a release branch:
- Regex: `^releases\/v` (e.g. `releases/v3`)
- In PRs that match the release-PR patterns above:
- Review only the following files:
- Consider all files in release-PRs to have already been reviewed and do not review them, except for the following two files:
- `CHANGELOG.md`
- `package.json`
- Do not review other files in those PRs (these are considered mechanically generated updates).
- If a PR matches the release-PR patterns but includes changes outside the two files above, do not attempt a full review of the generated changes — treat non-`CHANGELOG.md`/`package.json` edits as not requiring review.