Skip to content

chore: reconcile production release into dev - #431

Merged
Codename-11 merged 1 commit into
devfrom
main
Aug 25, 2026
Merged

chore: reconcile production release into dev#431
Codename-11 merged 1 commit into
devfrom
main

Conversation

@Codename-11

Copy link
Copy Markdown
Owner

Summary

  • reconcile the approved production release merge back into dev
  • preserve the exact released tree with no content changes

Verification

  • origin/main tree: 8d649182ddf55ded6f847a86497d335d4704ec9b
  • origin/dev tree: 8d649182ddf55ded6f847a86497d335d4704ec9b
  • release tags remain pinned to the approved production commit

chore(release): Android 1.13.0, Plugin 1.10.0, and CLI beta.5
@Codename-11
Codename-11 merged commit 71a2b3a into dev Aug 25, 2026
38 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