Skip to content

feat(github): add guarded PR control plane#5

Merged
CJianYu merged 20 commits into
mainfrom
agent/github-control-plane
Jul 22, 2026
Merged

feat(github): add guarded PR control plane#5
CJianYu merged 20 commits into
mainfrom
agent/github-control-plane

Conversation

@CJianYu

@CJianYu CJianYu commented Jul 22, 2026

Copy link
Copy Markdown
Owner

What changed

  • add exact head+base evidence records for proof, real behavior, review, and security
  • add GitHub PR inspection, required-check diagnostics, readiness briefs, and guarded merges
  • fail closed on stale evidence, incomplete API results, rulesets, merge queues, and unenforced protection
  • document adoption and policy configuration

Safety model

Merges require an exact PR-number confirmation, a stable head, required checks enforced by strict classic branch protection, administrator enforcement, no active ruleset requirements, and evidence bound to the exact PR head and base.

Validation

  • npm run check
  • npm test (42 tests)
  • npm run build
  • npm pack --dry-run
  • Codex source-aware review: no actionable findings

@CJianYu
CJianYu marked this pull request as ready for review July 22, 2026 17:46
@CJianYu
CJianYu merged commit 0eda2e1 into main Jul 22, 2026
7 checks passed
@CJianYu
CJianYu deleted the agent/github-control-plane branch July 22, 2026 17:46
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.

2 participants