Skip to content

Conversation

@baixiac
Copy link
Member

@baixiac baixiac commented Jul 11, 2025

As said in the title.

@baixiac baixiac requested a review from phoevos July 11, 2025 15:37
Copy link
Member

@phoevos phoevos left a comment

Choose a reason for hiding this comment

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

LGTM! Good idea, I should keep this in mind for our other projects as well!

@baixiac baixiac merged commit 4481a90 into main Jul 14, 2025
9 checks passed
@baixiac baixiac deleted the dh-doc branch July 14, 2025 10:58
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