Skip to content

ci: establish dev-to-main branch flow - #309

Merged
WaylandYang merged 1 commit into
mainfrom
codex/dev-branch-governance
Aug 15, 2026
Merged

ci: establish dev-to-main branch flow#309
WaylandYang merged 1 commit into
mainfrom
codex/dev-branch-governance

Conversation

@WaylandYang

Copy link
Copy Markdown
Contributor

Summary

  • run Rust/Python and TypeScript CI for pushes and pull requests targeting both dev and main
  • add a base-controlled PR policy check so future main pull requests must originate from this repository's dev branch
  • document dev as the daily integration/default PR branch and main as the stable release branch

Bootstrap sequence

This one PR targets main to install the policy workflow on the protected base branch. After it merges, maintainers will fast-forward dev to the merge commit, switch the repository default branch to dev, protect dev with the required rust check, and require main-source on main.

Validation

  • actionlint passes for all workflows
  • positive policy case accepts deeplethe/forkd:dev
  • negative policy case rejects a fork branch named dev
  • git diff --check

Signed-off-by: WaylandYang <wayland0916@gmail.com>
@WaylandYang
WaylandYang merged commit 52f40da into main Aug 15, 2026
9 checks passed
@WaylandYang
WaylandYang deleted the codex/dev-branch-governance branch August 15, 2026 20:41
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