Skip to content

Public OSS projection update - #10

Closed
jearonwong wants to merge 25 commits into
mainfrom
codex/owner-authorize-public-oss-projection-pr-merge-execution-01
Closed

Public OSS projection update#10
jearonwong wants to merge 25 commits into
mainfrom
codex/owner-authorize-public-oss-projection-pr-merge-execution-01

Conversation

@jearonwong

Copy link
Copy Markdown
Contributor

Summary

This PR carries the owner-authorized public OSS projection merge result through the GitHub protected-branch path after direct push to main was rejected by branch protection.

Source branch carried forward: codex/public-oss-projection-protected-merge-decision-01 at 0741c5915ebc330013fbb4f85cbcb6878fc38d35.

Blocked direct push reason: GitHub protected branch policy requires changes through a pull request and required check Build Docusaurus.

Release/projection evidence chain includes public projection plan, execution, branch review, branch/release/proposal baseline, protected merge decision, blocked direct merge execution evidence, and this PR-path execution record.

No tag, seal, GitHub release, npm publish, PyPI upload, registry mutation, branch cleanup, Website deploy, Validation Lab publication, downstream sync, Dev mutation, or V1 mutation is included. Website/Lab pointer sync remains a separate follow-up after remote main actually receives the projection.

Jason Wang added 25 commits June 6, 2026 19:12
@jearonwong

Copy link
Copy Markdown
Contributor Author

Superseded by PUBLIC-OSS-CLEAN-PROJECTION-RECOVERY-AUDIT-AND-CONTAINMENT-01. This PR carried the mistaken Public-repo governance/process-chain projection path; Public OSS should receive a regenerated clean projection PR from Dev-side projection policy instead. Closing without merge; branch deletion/cleanup is intentionally deferred to a separate owner-authorized cleanup plan.

@jearonwong jearonwong closed this Jun 8, 2026
@jearonwong
jearonwong deleted the codex/owner-authorize-public-oss-projection-pr-merge-execution-01 branch June 9, 2026 05:16
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