Skip to content

chore: back-merge main (1.2.0) into develop#39

Merged
jb-thery merged 2 commits into
developfrom
chore/sync-main-into-develop
Jul 2, 2026
Merged

chore: back-merge main (1.2.0) into develop#39
jb-thery merged 2 commits into
developfrom
chore/sync-main-into-develop

Conversation

@jb-thery

@jb-thery jb-thery commented Jul 2, 2026

Copy link
Copy Markdown
Member

Post-release back-merge so develop is up to date with main. No file changes (develop already contains all of main's content); this only records main as an ancestor so the 1.3.0 develop -> main PR (#38) can merge under the strict status-check policy. Merge with a merge commit.

jb-thery added 2 commits July 2, 2026 04:15
feat: promote dx improvements and semantic setup preload
Back-merge the 1.2.0 release commit so develop is up to date with main and
the 1.3.0 develop -> main PR can merge under the strict status-check policy.
@jb-thery jb-thery merged commit 6cdc062 into develop Jul 2, 2026
5 checks passed
@jb-thery jb-thery deleted the chore/sync-main-into-develop branch July 2, 2026 10:52
@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown

🎉 This PR is included in version 1.3.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant