feat(repo): open a pull request host-side via the GitHub REST API (#736) - #784

Merged

oxoxDev merged 10 commits into

tinyhumansai:mainfrom

YellowSnnowmann:feat/736-pr-creation

Aug 12, 2026

Commits on Aug 12, 2026

feat(repo): RepoManager publish primitive with structural refusals (#735)

YellowSnnowmann
and
claude
committed
5aafc7a
feat(repo): repo_publish tool, approval-gated host-side push (#735)

YellowSnnowmann
and
claude
committed
f14ed97
test(repo): cover repo_publish wiring, refusal, and native-approval queueing (#735)

YellowSnnowmann
and
claude
committed
925cf4c
Merge remote-tracking branch 'origin/main' into feat/735-repo-publish
YellowSnnowmann
committed
b50cefe
fix(repo): define REPO_PUBLISH_EFFECT in the runtime, not the gated harness (#735)

YellowSnnowmann
and
claude
committed
0bcd0e4
fix(repo): bind a publish approval to its staged commit and reject read-only bindings (#735)

YellowSnnowmann
and
claude
committed
61ee067
feat(repo): add a POST verb and create_pull_request to the forge client (#736)

YellowSnnowmann
and
claude
committed
4b572a4
feat(repo): open a pull request after an approved publish (#736)

YellowSnnowmann
and
claude
committed
e4693a2
docs(repo): describe the shipped write tier in the repos spec (#736)

YellowSnnowmann
and
claude
committed
fbeab36
Merge upstream/main into feat/736-pr-creation
oxoxDev
committed
d645cee