Skip to content

docs: September 2026 Copilot coding standards - #128

Merged
SafetyMP merged 2 commits into
mainfrom
docs/sep-2026-coding-standards
Sep 16, 2026
Merged

SafetyMP merged 2 commits 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.
@vercel

vercel Bot commented Sep 16, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
autonomous-ehs-management Ready Ready Preview Sep 16, 2026 1:06pm UTC

@SafetyMP
SafetyMP merged commit 16dd9ab into main Sep 16, 2026
10 checks passed
@SafetyMP
SafetyMP deleted the docs/sep-2026-coding-standards branch September 16, 2026 13:08

This branch was successfully deployed

1 active deployment
Preview — 87389a94 Deployed Sep 16, 2026 by vercel[bot]
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