ci: tailor Copilot security reviews - #1012
Conversation
Add a review-specific skill with Proto Fleet security, correctness, and reliability checks. Remove broad Copilot authoring instructions so reviews use one focused instruction source.
There was a problem hiding this comment.
🟢 Approval recommended
The changes are consistent across the skill file and the CI path/label metadata, and there are no remaining references to the removed instructions file.
Pull request overview
This pull request updates GitHub Copilot code review automation in this repo. It replaces broad authoring guidance with a dedicated code-review skill and updates CI metadata to treat skill changes as automation-impacting changes.
Changes:
- Add
.github/skills/code-review/SKILL.mdto define a dedicated security, correctness, and reliability review skill for Copilot. - Update
.github/path-filters.ymland.github/labeler.ymlto include.github/skills/**as an automation-relevant path. - Remove
.github/copilot-instructions.mdto avoid conflicting global guidance.
File summaries
| File | Description |
|---|---|
.github/skills/code-review/SKILL.md |
Adds the new Copilot code-review skill definition and review method. |
.github/path-filters.yml |
Treats .github/skills/** as a global change for workflow path selection. |
.github/labeler.yml |
Labels .github/skills/** changes as automation. |
.github/copilot-instructions.md |
Removes the prior broad Copilot instructions file. |
Review details
- Files reviewed: 4/4 changed files
- Comments generated: 0
- Review effort level: Lite
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 4f889b051b
ℹ️ About Codex in GitHub
Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".
🔐 Codex Security Review
Review SummaryOverall Risk: MEDIUM Findings[MEDIUM] Copilot code review does not consume the replacement instruction source
NotesThe YAML files parse successfully. This PR does not change application runtime code. Generated by Codex Security Review | |
|
🤖
Not addressing: GitHub's current documentation says that Copilot code review can automatically use relevant repository-level agent skills and specifically recommends a review-focused directory such as |
Reviewable diff: +61/-164 across 4 files (excludes generated, test, and story files).
Summary
Copilot reviews now use a dedicated Proto Fleet security, correctness, and reliability skill instead of broad repository-wide authoring guidance. The skill keeps findings scoped to changed behavior, adds explicit cross-component and abuse-path checks, and requires ASD-STE100 Simplified Technical English. This makes the review instructions fit the team's review-only Copilot usage.
How it works
GitHub Copilot loads
.github/skills/code-review/SKILL.mdwhen it reviews a pull request. The skill directs it to map changed trust boundaries and data flows, trace behavior across Proto Fleet components, apply both generalized security checks and repository invariants, and report only concrete findings on the smallest relevant changed hunk. The automation path filter and labeler now recognize the skills directory instead of the removed global instructions file.flowchart LR A["Pull request diff"] --> B["Copilot code review"] C["code-review skill"] --> B D["Repository context"] --> B B --> E["Material inline findings"]Areas of the code involved
.github/skills/code-review/SKILL.md.github/copilot-instructions.md.github/path-filters.yml.github/skills/**as a global change.github/labeler.yml.github/skills/**changes as automationKey technical decisions & trade-offs
code-reviewskill instead of always-on Copilot instructions, so the guidance applies to reviews without shaping unused authoring workflows.Testing & validation
.github/path-filters.ymland.github/labeler.ymlsuccessfully.git diff --checksuccessfully.