feat(workflow): add provider-neutral Issue/PR models and GitHub integration - #100

Merged

yohnark merged 5 commits into

mainfrom

feat/36-provider-neutral

Aug 8, 2026

Commits on Aug 8, 2026

feat(workflow): add provider-neutral pull request integration
yohnark
committed
436951b
fix(workflow): route GitHub PR body through structured draft/policy

yohnark
and
claude
committed
80c68c7
fix(workflow): fail closed on opaque repo id, reconcile stuck PR-open transitions, and tighten closing-Issue parsing

yohnark
and
claude
committed
5fc0b3b
fix(workflow): close TOCTOU on recordPullRequest, harden tests, tighten types

yohnark
and
claude
committed
ce2be57
Merge branch 'main' into feat/36-provider-neutral
yohnark
authored
afb0b6a