Skip to content

chore: sync main into develop (v1.0.0 post-release) - #17

Merged
yaesetti merged 1 commit into
developfrom
main
Sep 21, 2026
Merged

yaesetti merged 1 commit into
developfrom
main

Conversation

@yaesetti

Copy link
Copy Markdown
Collaborator

Description

Back-merge to follow git-flow. Even though there weren't any new changes during the release process, this PR ensures that git-flow is being correctly followed and that the procedure is working fine.

Type of Change

  • Versioning (ensuring correct versioning and git-flow)

Release A2 v1.0.0
@yaesetti
yaesetti requested a review from jpfrare September 21, 2026 16:33
@yaesetti yaesetti self-assigned this Sep 21, 2026
@yaesetti
yaesetti merged commit a805665 into develop Sep 21, 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.

2 participants