Skip to content

Merge main into develop after releasing 1.2.0 - #16

Merged
datacute merged 7 commits into
developfrom
main
May 2, 2026
Merged

datacute merged 7 commits into
developfrom
main

Conversation

@datacute

@datacute datacute commented May 2, 2026 •

Copy link
Copy Markdown
Owner

Summary

This PR back-merges the main release line into develop after releasing 1.2.0. It syncs all release commits so future work starts from the latest shipped state.

What changed

  • Merge main into develop after release 1.2.0
  • Bring release-prep updates and release-tagged code back to develop
  • Keep branch history aligned for the next development cycle

Why

  • Prevent divergence between main and develop
  • Ensure upcoming work includes everything shipped in 1.2.0

Validation

  • Release PR release/1.2.0 -> main is merged
  • Tag 1.2.0 is pushed to origin
  • Back-merge PR CI Build runs automatically after opening

Notes

  • None.

Checks

  • Release tag 1.2.0 exists on origin
  • Release PR to main is merged
  • Back-merge PR main -> develop opened
  • Build workflow passes for this PR
  • Back-merge PR merged into develop

@datacute
datacute merged commit 8e7e879 into develop May 2, 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