Skip to content

chore: sync main back to develop#172

Merged
Teeldinho merged 1 commit into
developfrom
main
Jun 9, 2026
Merged

chore: sync main back to develop#172
Teeldinho merged 1 commit into
developfrom
main

Conversation

@Teeldinho

Copy link
Copy Markdown
Owner

Issue

Main now contains the merge commit from the develop promotion PR, while develop does not. The branches should be synchronized after the release merge.

Solution

  • Merge main back into develop so both protected branches share the same history after the release.
  • No file changes are expected; this sync carries the main merge commit only.

Screenshots

N/A — branch synchronization only.

Testing

No tests were added. No file diff is expected for this sync PR.

chore: promote develop to main
@Teeldinho Teeldinho self-assigned this Jun 9, 2026
@Teeldinho Teeldinho merged commit 327040c into develop Jun 9, 2026
2 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