Skip to content

merge(main): absorb v0.5.1 promotion + changelog into Dev_new_gui (-s ours) - #11852

Merged
mrveiss merged 4 commits into
Dev_new_guifrom
hotfix-backmerge-v0.5.1
Jul 17, 2026
Merged

mrveiss merged 4 commits into
Dev_new_guifrom
hotfix-backmerge-v0.5.1

Conversation

@mrveiss

@mrveiss mrveiss commented Jul 17, 2026

Copy link
Copy Markdown
Owner

What Changed

git merge -s ours origin/main — records main's out-of-process commits (promotion merge #11842 + changelog squash #11851) as ancestors of Dev_new_gui without altering Dev_new_gui's tree. Standard post-promotion back-merge (mirrors #11768/#11806).

Why

Without this, the next Dev_new_gui → main promotion would show main's changelog commits as reverts/conflicts. The -s ours merge keeps Dev_new_gui authoritative (working [Unreleased] CHANGELOG) while unblocking clean future promotions.

Verification

  • Tree diff vs origin/Dev_new_gui: empty (no content change)
  • git merge-base --is-ancestor origin/main HEAD → true (main absorbed)

Model Used

Claude Opus 4.8

mrveiss and others added 4 commits July 16, 2026 23:18
Promote Dev_new_gui → main (2026-07-16 wave 2/3: auth fixes, test-suite repairs, owner decisions)
chore(release): promote Dev_new_gui → main — v0.5.1 (#11825)
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
… — Dev_new_gui content kept (unblock next promotion)
@github-actions

Copy link
Copy Markdown
Contributor

✅ SSOT Configuration Compliance: Passing

🎉 No hardcoded values detected that have SSOT config equivalents!

@mrveiss
mrveiss merged commit e8d1532 into Dev_new_gui Jul 17, 2026
28 of 30 checks passed
@mrveiss
mrveiss deleted the hotfix-backmerge-v0.5.1 branch July 17, 2026 20:44
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