Skip to content

Improve Copilot instructions - #4142

Merged
mbg merged 3 commits into
mainfrom
mbg/copilot/update-instructions
Sep 16, 2026
Merged

mbg merged 3 commits into
mainfrom
mbg/copilot/update-instructions

Conversation

@mbg

@mbg mbg commented Sep 11, 2026

Copy link
Copy Markdown
Member

Some changes to copilot-instructions.md based on some observations of Copilot's reviews since the last change was made.

Risk assessment

For internal use only. Please select the risk level of this change:

  • Low risk: Changes are fully under feature flags, or have been fully tested and validated in pre-production environments and are highly observable, or are documentation or test only.

Which use cases does this change impact?

Environments:

  • Testing/None - This change does not impact any CodeQL workflows in production.

How did/will you validate this change?

  • None - I am not validating these changes.

If something goes wrong after this change is released, what are the mitigation and rollback strategies?

  • Development/testing only - This change cannot cause any failures in production.

How will you know if something goes wrong after this change is released?

  • Other - Please provide details.

Are there any special considerations for merging or releasing this change?

  • No special considerations - This change can be merged at any time.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Consider adding a changelog entry for this change.
  • Confirm the readme and docs have been updated if necessary.

Copilot AI balanced review requested due to automatic review settings September 11, 2026 12:14
@mbg
mbg requested a review from a team as a code owner September 11, 2026 12:14
@github-actions github-actions Bot added the size/XS Should be very easy to review label Sep 11, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot review overview

🟡 Changes recommended

The instruction at line 16 ends mid-sentence and needs clarification.

Once you've addressed the issues Copilot identified, you can request another Copilot review.

Review tier: Lite
Findings: 1 Low severity

New issues introduced by this change (1)
Severity Finding
Low severity .github/​copilot-instructions.md — Complete the truncated follow-up guidance
What changed in this PR

Documentation-only update to repository-specific Copilot review guidance.

Changes:

  • Documents repository structure, generated code, and pr-checks.
  • Adds release-process guidance.
  • Adjusts nested Markdown formatting.

Review note: Complete the instruction at line 16 so follow-up PR handling is unambiguous.

File Summary
.github/​copilot-instructions.md Updated Copilot instructions and review guidance.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread .github/copilot-instructions.md Outdated
@mbg
mbg force-pushed the mbg/copilot/update-instructions branch from 0f617ca to cc78526 Compare September 11, 2026 13:19

@mario-campos mario-campos left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice improvement. I added a few suggestions that I think would help make the points more explicit and direct.

Comment thread .github/copilot-instructions.md Outdated
Comment thread .github/copilot-instructions.md Outdated
## Review instructions

- When wording review comments, be helpful and friendly. Assume that the PR author has written the code with the best of intentions. Word your comments constructively as suggestions for improvements. Do not word suggestions as commands.
- If you want to comment on a change that you believe will fail a CI check, do not present the CI failure you expect as a fact. Instead, write that you think a change "may" lead to a failure in CI. Suggest that, if such a failure manifests, the changes you are commenting on may be the place responsible for the failure and are worth looking at.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
- If you want to comment on a change that you believe will fail a CI check, do not present the CI failure you expect as a fact. Instead, write that you think a change "may" lead to a failure in CI. Suggest that, if such a failure manifests, the changes you are commenting on may be the place responsible for the failure and are worth looking at.
- If you want to comment on a change that you believe will fail a CI check, you may state that, but do not make any definitive unsubstantiated statements about CI pass/fail. Instead, write that you think a change "may" lead to a failure in CI. Suggest that, if such a failure manifests, the changes you are commenting on may be the place responsible for the failure and are worth looking at.

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This mostly seems like a more verbose version of what I wrote. Did you have a particular concern about the existing wording that you wanted to address here?

Comment thread .github/copilot-instructions.md Outdated
Comment thread .github/copilot-instructions.md Outdated
@mbg

mbg commented Sep 16, 2026

Copy link
Copy Markdown
Member Author

@mario-campos Thanks for the review! I have pushed a commit which I hope addresses your comments. I have skipped some of the word changes and tried to avoid more duplication.

In general though, I think it makes sense to merge the changes without too much discussion about the wording of the instructions. We can see what does or doesn't work in practice once the changes are merged, and then address issues if we notice persistent problems.

@mbg
mbg requested a review from mario-campos September 16, 2026 10:32
@mbg
mbg added this pull request to the merge queue Sep 16, 2026
Merged via the queue into main with commit 7dbd038 Sep 16, 2026
222 checks passed
@mbg
mbg deleted the mbg/copilot/update-instructions branch September 16, 2026 13:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size/XS Should be very easy to review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants