Skip to content

chore(release): sync main back into development - #856

Merged
rubenvdlinde merged 4 commits into
developmentfrom
sync/main-to-development-0.1.148
Aug 31, 2026
Merged

chore(release): sync main back into development#856
rubenvdlinde merged 4 commits into
developmentfrom
sync/main-to-development-0.1.148

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Opened by the release workflow after publishing 0.1.148 from main.

A release commits a version bump onto the branch it ran from. Without carrying
that back, development falls behind main, and since both branches then
changed the version file independently, the next development -> main
promotion conflicts on it — every time.

Version files are resolved to development's side, the higher line, so this
cannot move a version backwards. Any other conflict stops the workflow instead
of being resolved automatically.

Merge this, do not squash. A squash copies the files and discards the
relationship: the merge base would not move and the next promotion would
conflict exactly as before. A 0-file diff here is normal and is not a no-op —
recording the ancestry is the whole point.

rubenvdlinde and others added 4 commits August 30, 2026 14:28
beta is the release candidate, 1026 commits ahead of main. Every conflict
resolved to beta's side, including its refactors: where beta had removed a
file the removal stands rather than resurrecting a stale copy from main.

Conflicts: 4 (0 took beta's content, 4 removed per
beta's refactor).
Release: merge beta into main
The 0.1.148 release bumped the version on main. Without this,
development stays behind main and the next development -> main promotion
conflicts on the version file.

Version files resolve to development's side, which is the higher line,
so this never moves a version backwards.
@github-actions
github-actions Bot enabled auto-merge August 30, 2026 18:46
@rubenvdlinde
rubenvdlinde merged commit 5521cd4 into development Aug 31, 2026
4 checks passed
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