Skip to content

chore: move the development branch from dev to develop - #113

Merged
otsobide merged 1 commit into
developfrom
feature/migrate-dev-to-develop
Aug 28, 2026
Merged

chore: move the development branch from dev to develop#113
otsobide merged 1 commit into
developfrom
feature/migrate-dev-to-develop

Conversation

@otsobide

Copy link
Copy Markdown
Owner

Makes develop the development branch everywhere, so dev can be deleted
without leaving the repository in a state where nothing can be merged.

The one that would have bitten

gitflow.yml only triggers on pull requests whose base is listed in its
branches: filter, and its two jobs — gitflow branch name and release
source branch
— are the required status checks on the rulesets.

Left pointing at dev, a pull request into develop would never trigger it, so
the required check would never report, and the pull request would sit
unmergeable forever waiting on a job that cannot run. That is the failure mode
this PR exists to prevent, and it is silent: nothing errors, the check simply
never appears.

What changed

  • gitflow.yml — trigger, both base_ref guards, the release head-branch
    comparison, and every message a contributor would read.
  • test-and-build.yml — the push trigger, and the head_ref gate that puts
    the macOS and Windows suites on the release path.
  • deploy-landing.yml — the push trigger.
  • release.yml — a comment only.
  • Docs — 41 references across git_flow.md, deployment.md,
    architecture.md and README.md.

Two decisions worth reviewing

pages/landing-dev keeps its name. It is the branch that serves the staging
site; renaming it would change that URL for no gain. The name describes the
environment rather than the branch the build came from, and both
deployment.md and deploy-landing.yml now say so, so it does not read as an
oversight later.

The rename was applied narrowly, to the backticked branch reference only.
That deliberately spared pages/landing-dev, the collapse-server-aio:dev
image tag, npm run tauri dev and every use of the word "development". The
ASCII flow diagram in deployment.md and one table's column alignment fell
outside that rule and were fixed by hand.

Still required before dev is deleted

The rulesets are not in this repository and this PR cannot change them.

  • protect-dev (id 20884968) still targets refs/heads/dev. It has to target
    refs/heads/develop, and be renamed to protect-develop, which is what the
    documentation in this PR now calls it.
  • protect-main requires the release source branch check, which after this
    PR only passes for a head branch named develop.

Order matters: repoint the rulesets first, confirm a pull request into develop
runs both checks, and only then delete dev.

One logical change across CI and the documentation, kept in one commit because
splitting it would leave a state where the workflows enforce one branch name and
the documents describe another.

**Workflows.** `gitflow.yml` is the one that matters: it only triggers on PRs
whose base is in `branches:`, and its two jobs are the required status checks on
the rulesets. Left pointing at `dev`, a PR into `develop` would never run it, so
the required check would never report and the PR would be unmergeable — blocked
waiting on something that cannot arrive. Its trigger, both `base_ref` guards,
the release head-branch check and every message now say `develop`.

`test-and-build.yml` gets the push trigger and the `head_ref` gate that lets the
macOS and Windows suites run on the release path. `deploy-landing.yml` gets its
push trigger. `release.yml` only mentioned the old name in a comment.

**The staging branch keeps its name.** `pages/landing-dev` is what serves the
staging site, so renaming it would change that URL and buy nothing. The name
describes the environment, not the branch the build came from, and both
`deployment.md` and the workflow now say so rather than leaving it looking like
something that was missed.

**Documentation.** 41 references across `git_flow.md`, `deployment.md`,
`architecture.md` and `README.md`. The rename was applied only to the backticked
branch reference, so `pages/landing-dev`, the `collapse-server-aio:dev` image
tag, `npm run tauri dev` and the word "development" were left alone; the ASCII
flow diagram and a table's column alignment were fixed by hand afterwards.

**Not in this commit, and required before `dev` is deleted:** the rulesets.
`protect-dev` still targets `refs/heads/dev`. The documentation now calls it
`protect-develop`, which is a promise this commit cannot keep on its own.
@otsobide
otsobide merged commit 766df4e into develop Aug 28, 2026
18 checks passed
@otsobide
otsobide deleted the feature/migrate-dev-to-develop branch August 28, 2026 18:02
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