Skip to content

Conversation

@aureamunoz
Copy link
Member

Fixes #38

@aureamunoz aureamunoz requested a review from geoand October 9, 2025 13:49
@aureamunoz aureamunoz merged commit 1254fae into quarkusio:main Oct 9, 2025
1 check passed
@aureamunoz
Copy link
Member Author

Should we release it? But I'm lost regarding the release, Is still @gsmet the person doing it?

@gsmet
Copy link
Member

gsmet commented Oct 9, 2025

No! Lucky me, you should be able to trigger a release by updating the .github/project.yml to the version you want to push in the UI then ask GitHub to create a PR with a branch that is local to this project.

Once the pre release workflow is green, you can merge and it should push a release all by itself.

If you can’t figure it out, we can do it once together in a call early next week.

@aureamunoz
Copy link
Member Author

No! Lucky me, you should be able to trigger a release by updating the .github/project.yml to the version you want to push in the UI then ask GitHub to create a PR with a branch that is local to this project.

Once the pre release workflow is green, you can merge and it should push a release all by itself.

If you can’t figure it out, we can do it once together in a call early next week.

Mmmm.... let's try it! I think is the same process like I do in Stork, I will take a look and ping you if needed

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.

Missing org.springframework.data.util.LazyStreamable

3 participants