Skip to content

Conversation

DavidBiesack
Copy link
Contributor

  • schema changes are included in this pull request
  • schema changes are needed for this pull request but not done yet
  • no schema changes are needed for this pull request

@ralfhandl ralfhandl requested review from a team May 15, 2025 07:16
@DavidBiesack
Copy link
Contributor Author

Thanks for approving @ralfhandl - are you a committer/maintainer and can merge this PR? I do not have merge permissions

Copy link
Contributor

@lornajane lornajane left a comment

Choose a reason for hiding this comment

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

Thanks!

@lornajane lornajane merged commit 799dd75 into OAI:gh-pages May 15, 2025
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