Skip to content

Copilot review instructions - #1648

Open
white238 wants to merge 2 commits into
developfrom
task/white238/mr_instructions
Open

Copilot review instructions#1648
white238 wants to merge 2 commits into
developfrom
task/white238/mr_instructions

Conversation

@white238

Copy link
Copy Markdown
Member

This file is for basic instructions for Copilot to use when doing PR reviews. My general idea is for very basic things we continually check for each PR. This only has checking for adding user-facing changes to the release notes. If you have suggestions I can add them in now but we can build up this file as we think of them.

@white238
white238 requested review from bmacnider, btalamini, chapman39, ebchin and tupek2 and a lite review from Copilot August 17, 2026 21:39

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.

Pull request overview

Warning

Copilot couldn't run its full agentic review because it didn't start before the timeout. Make sure your repository has a runner available, or add a copilot-code-review.yml file specifying one with the runs-on attribute. See the docs for more details.

Adds a baseline Copilot PR-review instruction document focused on ensuring user-facing changes are documented in release notes.

Changes:

  • Introduces .github/copilot-instructions.md with guidance to identify user-facing changes.
  • Adds a checklist to require RELEASE_NOTES.md entries for user-visible changes and avoid requesting notes for internal-only changes.

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

@white238
white238 requested a lite review from Copilot August 17, 2026 22:08

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.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants