Skip to content

chore: sync main into development (promotion merge commit #1017) - #1026

Merged
cemililik merged 2 commits into
developmentfrom
sync/main-into-development-2
Oct 19, 2026
Merged

chore: sync main into development (promotion merge commit #1017)#1026
cemililik merged 2 commits into
developmentfrom
sync/main-into-development-2

Conversation

@cemililik

@cemililik cemililik commented Oct 19, 2026

Copy link
Copy Markdown
Collaborator

What

Merges main into development so the next promotion pull request (development → main) is not behind main.

main carries one commit that development lacks: the merge commit de93cd7 of the promotion #1017. It has no content of its own — git diff development HEAD on this branch is empty.

How to merge

Use Create a merge commit. Squashing would discard the merge commit this branch exists to bring in, and the next promotion would start behind main again.

🤖 Generated with Claude Code

@cemililik
Merge pull request #1017 from HodeTech/development
de93cd7 
chore: promote development to main — wave-0 truth fixes, dependency floors, contributor intake and Dependabot
@cemililik
Merge branch 'main' into development
faecdd6 
Brings the promotion merge commit de93cd7 (PR #1017) into development so the
next development -> main promotion is not behind main. No content changes:
main carries nothing development lacks.
@cemililik
cemililik merged commit 2059b59 into development Oct 19, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@cemililik