Skip to content

merge: develop into main (force merge) - #21

Merged
DiogoRibeiro7 merged 1 commit into
developfrom
main
Apr 15, 2026
Merged

merge: develop into main (force merge)#21
DiogoRibeiro7 merged 1 commit into
developfrom
main

Conversation

@DiogoRibeiro7

@DiogoRibeiro7 DiogoRibeiro7 commented Apr 15, 2026

Copy link
Copy Markdown
Owner

Summary

What changed

Why it changed

Validation

  • make lint
  • make typecheck
  • make test

Contract impact

  • No shared contract changes
  • Shared contract fields changed (describe below)

Notes


Summary by cubic

Force-merge develop into main to realign history and sync all develop changes to the release branch. No functional changes beyond what’s already on develop; this unblocks deployments from main.

  • Migration
    • Update local main: git fetch origin && git checkout main && git reset --hard origin/main
    • Rebase active branches onto the updated main to reduce merge conflicts.
    • Run CI and quick smoke tests on main after merge.

Written for commit 16c607e. Summary will update on new commits.

@DiogoRibeiro7
DiogoRibeiro7 merged commit cea1230 into develop Apr 15, 2026
0 of 2 checks passed
@DiogoRibeiro7
DiogoRibeiro7 deleted the main branch April 15, 2026 08:00
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