Skip to content

chore: sync release-closeout main back into dev - #199

Merged
daniele21 merged 1 commit into
devfrom
main
Sep 4, 2026
Merged

chore: sync release-closeout main back into dev#199
daniele21 merged 1 commit into
devfrom
main

Conversation

@daniele21

Copy link
Copy Markdown
Owner

Synchronize the release-closeout merge commit from main back into dev after PR #198, preserving explicit shared ancestry for the next development/promotion cycle. The promoted documentation tree is already present on dev; this PR records the stable-line merge ancestry only.

release: publish release-closeout documentation to main
@daniele21
daniele21 merged commit 706d467 into dev Sep 4, 2026
6 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