Skip to content

Add IncludeMetaKIs option to REST API#757

Merged
bnouwt merged 2 commits intomasterfrom
533-whether-to-include-metadata-should-be-configurable-via-the-rest-api
Oct 31, 2025
Merged

Add IncludeMetaKIs option to REST API#757
bnouwt merged 2 commits intomasterfrom
533-whether-to-include-metadata-should-be-configurable-via-the-rest-api

Conversation

@bnouwt
Copy link
Copy Markdown
Collaborator

@bnouwt bnouwt commented Oct 24, 2025

Also:

  • added unit test for IncludeMetaKIs option.
  • fix bug where shutdown hook was still active on stopped SC

Also:
- added unit test for IncludeMetaKIs option.
- fix bug where shutdown hook was still active on stopped SC
@bnouwt bnouwt linked an issue Oct 24, 2025 that may be closed by this pull request
@bnouwt bnouwt requested a review from Sophietje October 24, 2025 09:53
@bnouwt bnouwt merged commit b629056 into master Oct 31, 2025
2 checks passed
@bnouwt bnouwt deleted the 533-whether-to-include-metadata-should-be-configurable-via-the-rest-api branch October 31, 2025 15:00
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.

Whether to include metadata should be configurable via the REST API.

1 participant