Skip to content

chore: reconcile main release ancestry into dev - #429

Merged
Codename-11 merged 8 commits into
devfrom
main
Aug 25, 2026
Merged

chore: reconcile main release ancestry into dev#429
Codename-11 merged 8 commits into
devfrom
main

Conversation

@Codename-11

Copy link
Copy Markdown
Owner

Summary

Reconcile main ancestry back into dev before the release merge.

main contains four earlier CI-promotion merge commits that are not ancestors of dev, but their content is already present. The computed merge tree is byte-for-byte identical to the current preflighted dev tree, so this changes topology only.

Verification

  • git merge-tree --write-tree origin/dev origin/main equals origin/dev^{tree}.
  • Android Play preflight remains valid because its proof is keyed to the unchanged Git tree.
  • PR feat(android): add supervised mode #419 remains excluded.

@Codename-11
Codename-11 merged commit 41601d6 into dev Aug 25, 2026
34 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