From 49eb54723ea7faae641ad350c597e3252c11a3d7 Mon Sep 17 00:00:00 2001 From: Hannes Vogt Date: Mon, 8 Jun 2026 11:53:22 +0200 Subject: [PATCH 1/4] docs: Update PR review instructions Added guidelines for labeling PRs as 'good to merge'. This is a experiment. --- .github/copilot-instructions.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 0b2767ff63..13daf218f3 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -38,3 +38,9 @@ and never AGENTS.md, so a redirect here would propagate nothing. Keep short. question the design and propose refactorings where warranted. For a localized fix, prefer the smallest change over a refactor. - If a finding is a question rather than a defect, phrase it as one. + +## Summary + +- If the review didn't find any issues and the PR is small (<30 lines of code + changes in `src`; `tests` doesn't count) and non-controversial, then add the + label `good to merge` to the PR. From 6b8e7528a4bc4b5f796fd7df21699461dd167db9 Mon Sep 17 00:00:00 2001 From: Hannes Vogt Date: Mon, 8 Jun 2026 12:10:58 +0200 Subject: [PATCH 2/4] format --- .github/copilot-instructions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 13daf218f3..58daebe44f 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -41,6 +41,6 @@ and never AGENTS.md, so a redirect here would propagate nothing. Keep short. ## Summary -- If the review didn't find any issues and the PR is small (<30 lines of code +- If the review didn't find any issues and the PR is small (\<30 lines of code changes in `src`; `tests` doesn't count) and non-controversial, then add the label `good to merge` to the PR. From d49a73d653bebc45addbc3786a85fc2adcf8296b Mon Sep 17 00:00:00 2001 From: Hannes Vogt Date: Mon, 8 Jun 2026 12:55:54 +0200 Subject: [PATCH 3/4] Potential fix for pull request finding Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- .github/copilot-instructions.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 58daebe44f..18a8e60aea 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -41,6 +41,6 @@ and never AGENTS.md, so a redirect here would propagate nothing. Keep short. ## Summary -- If the review didn't find any issues and the PR is small (\<30 lines of code - changes in `src`; `tests` doesn't count) and non-controversial, then add the +- If the review didn't find any issues and the PR is small (<30 lines of code + changes in `src`; test changes don't count) and non-controversial, then add the label `good to merge` to the PR. From 3270b190fffb2e009c171f5254ba49d689497d04 Mon Sep 17 00:00:00 2001 From: Hannes Vogt Date: Mon, 8 Jun 2026 12:56:16 +0200 Subject: [PATCH 4/4] format --- .github/copilot-instructions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 18a8e60aea..62ac369941 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -41,6 +41,6 @@ and never AGENTS.md, so a redirect here would propagate nothing. Keep short. ## Summary -- If the review didn't find any issues and the PR is small (<30 lines of code +- If the review didn't find any issues and the PR is small (\<30 lines of code changes in `src`; test changes don't count) and non-controversial, then add the label `good to merge` to the PR.