Skip to content

Conversation

@marko-bekhta
Copy link
Member

@DavideD
Copy link
Member

DavideD commented Jun 6, 2025

Is this change only for main, or should I update the other branches too?

@DavideD DavideD merged commit 7779622 into hibernate:main Jun 6, 2025
18 checks passed
@marko-bekhta
Copy link
Member Author

Is this change only for main, or should I update the other branches too?

This one is probably for @yrodiere ^ ?

@yrodiere
Copy link
Member

yrodiere commented Jun 6, 2025

It's fine to add the file to main only IMO. Thanks.

@DavideD
Copy link
Member

DavideD commented Jun 6, 2025

Thanks guys!

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.

3 participants