Skip to content

8M13 was released, merge the branch - #25722

Merged
dmatej merged 6 commits into
8.0from
8.0.0-M13-PREPARE
Oct 4, 2025
Merged

8M13 was released, merge the branch#25722
dmatej merged 6 commits into
8.0from
8.0.0-M13-PREPARE

Conversation

@dmatej

@dmatej dmatej commented Oct 4, 2025

Copy link
Copy Markdown
Contributor

Merge fixes

dmatej and others added 6 commits October 2, 2025 12:03
â€Ķn't need it

Signed-off-by: David Matějček <david.matejcek@omnifish.ee>
Signed-off-by: David Matějček <david.matejcek@omnifish.ee>
@dmatej dmatej added this to the 8.0.0 milestone Oct 4, 2025
@dmatej
dmatej requested a review from arjantijms October 4, 2025 13:34
@pzygielo

pzygielo commented Oct 4, 2025

Copy link
Copy Markdown
Contributor

Is 22d5df5 part of M13?

image

The tag 8.0.0-M13 and release point to 7b511e8.
image

@dmatej

dmatej commented Oct 4, 2025

Copy link
Copy Markdown
Contributor Author

Good catch, I should improve the release job to force push the tag. The existing tag failed validation of Maven Central, then we did few changes, then the job passed, but it did not update the tag (using git push origin --follow-tags). I will do that manually now.

b885c98 is the one released to Central

I have updated the tag and the build script too.

@dmatej
dmatej merged commit 4f92646 into 8.0 Oct 4, 2025
3 checks passed
@pzygielo
pzygielo deleted the 8.0.0-M13-PREPARE branch October 22, 2025 10:27
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.

4 participants