dev branch lacks CI workflows — failing all dev-targeted PRs

[max-cyq]

Problem

PRs targeting dev (#252, #249) both show "all checks have failed" — the pr-review check fails because dev has no workflow files. main-targeted PRs work fine.

Why

dev hasn't been synced with main since March 19 (v3.3.0-beta.4). All CI workflows (ci.yml, codex-pr-review.yml, etc.) were added to main after dev diverged — dev never got them.

dev has 0 workflow files. main has 7.

Context

CONTRIBUTING.md says target dev for all feature/fix PRs, but in practice, every PR from the past 3 months has been merged straight into main (#277–#282).

Options

A. Restore dev — rebase dev on main, sync .github/, enforce dev-first workflow.

B. Drop dev, go main-only — update CONTRIBUTING.md, remove dev from ci.yml, archive the branch. The team has effectively been doing this for months.

Ask

Which direction should we take? Happy to submit the PR either way.

[github-actions]

Thanks for the thorough analysis, @max-cyq! You're right that the .github/workflows/ci.yml file does list both main and dev branches on lines 5 and 7, but the workflow files were only added to main after the branches diverged — dev never received them. The CONTRIBUTING.md (line 79) also still recommends targeting dev as the integration branch, even though the last several PRs have been merged directly into main (as you noted).

We'll need to decide on one of the two directions you proposed:

A. Restore dev — rebase dev on main, sync the .github/ folder, and enforce the dev-first workflow as documented.

B. Drop dev, go main-only — update CONTRIBUTING.md and the CI branch lists to only reference main, and archive the dev branch.

Which direction do you (and other maintainers) prefer? Happy to submit a PR for either — just let me know.

---

Open Cowork Bot