Skip to content

docs: add .github/copilot-instructions.md and AGENTS.md#123

Open
Copilot wants to merge 2 commits intomainfrom
copilot/add-agent-operating-instructions
Open

docs: add .github/copilot-instructions.md and AGENTS.md#123
Copilot wants to merge 2 commits intomainfrom
copilot/add-agent-operating-instructions

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 2, 2026

Establishes repo-local agent operating instructions so Copilot/Codex work in source-os is issue-first, bounded, and validation-backed.

Changes

  • .github/copilot-instructions.md — Copilot coding-agent guidance:

    • Issue-as-source-of-truth, bounded PRs, no unrelated changes
    • High-risk path table (hosts, images, profiles, modules, systemd units, eBPF, runtime, workflows, channels/configs) with risk categories
    • SourceOS-specific rules per path class (boot/install/recovery, host mutation, workflows, runtime admission)
    • PR body template enforcing: what changed · commands run · output summary · known gaps · blocked on
  • AGENTS.md — agent operating instructions:

    • Cardinal rule: one repo, one issue, one PR
    • Scope, validation-evidence, and non-goal definitions
    • Per-path-class validation requirements (e.g. nix flake check for Nix expressions, quorum/anchor smoke for runtime admission, shellcheck/bash -n for install scripts)

Validation

test -s .github/copilot-instructions.md
test -s AGENTS.md
grep -F "Use the GitHub issue body as the source of truth" .github/copilot-instructions.md
grep -F "One repo, one issue, one PR" AGENTS.md

All four commands pass.

Copilot AI changed the title [WIP] Add agent operating instructions for Copilot and Codex docs: add .github/copilot-instructions.md and AGENTS.md May 2, 2026
Copilot AI requested a review from mdheller May 2, 2026 18:41
@mdheller mdheller marked this pull request as ready for review May 3, 2026 01:54
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.

repo hygiene: add agent operating instructions for Copilot and Codex

2 participants