Skip to content

docs: September 2026 Copilot coding standards - #126

Merged
SafetyMP merged 1 commit into
mainfrom
docs/sep-2026-coding-standards
Sep 16, 2026
Merged

SafetyMP merged 1 commit into
mainfrom
docs/sep-2026-coding-standards

Conversation

@SafetyMP

Copy link
Copy Markdown
Owner

Summary

  • Add GitHub Copilot path-specific coding standards under .github/instructions/ (TypeScript, Python, Go, Java, Cedar, and/or Rego as this repo uses them).
  • Add .github/skills/code-review/ so Copilot code review loads this repository's contract (HITL, fail-closed, no invented gate PASS).
  • Point AGENTS.md, .github/copilot-instructions.md, and llms.txt at those files. Repos that lacked a portable domain skill get one under .github/skills/.

This is the remaining September 2026 Copilot/agent surface after the community-contract docs pass: instructions for almost every task, skills when the task is specialized.

Test plan

  • Confirm .github/instructions/*.instructions.md files have applyTo frontmatter
  • Confirm .github/skills/code-review/SKILL.md name matches the directory
  • Skim Copilot code review on this PR (it reads instructions from the head branch)
  • No application code or verify-script semantics changed

Path-specific .github/instructions files encode language rules Copilot
loads on matching files; the code-review skill is the GitHub Copilot
review entrypoint so PRs are checked against this repo's contract.
@SafetyMP
SafetyMP merged commit e930122 into main Sep 16, 2026
7 checks passed
@SafetyMP
SafetyMP deleted the docs/sep-2026-coding-standards branch September 16, 2026 12:52
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.

1 participant