Skip to content

Conversation

@duncdrum
Copy link
Contributor

backport of #5794

now on fresh rebase

@duncdrum duncdrum requested review from a team and line-o August 25, 2025 15:14
Copy link
Member

@line-o line-o left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@line-o
Copy link
Member

line-o commented Aug 25, 2025

@duncdrum could you change the commit message to

[ci] ...

@duncdrum
Copy link
Contributor Author

@line-o done

@line-o line-o requested a review from a team August 27, 2025 11:46
@dizzzz dizzzz merged commit 261d81c into eXist-db:develop-6.x.x Aug 27, 2025
7 of 8 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.

4 participants