From cd4167966c4484bfa49f4f3837dbc5f0fa278185 Mon Sep 17 00:00:00 2001 From: "Michael B. Gale" Date: Tue, 12 Aug 2025 11:51:44 +0100 Subject: [PATCH] Manually edit PR instructions - 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 --- .github/copilot-instructions.md | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 872f9537f..35a89a227 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -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.