Skip to content

691 better way to deal with sub schema duplications in schema extraction#978

Merged
Logende merged 2 commits into
developfrom
691-better-way-to-deal-with-sub-schema-duplications-in-schema-extraction
May 20, 2026
Merged

691 better way to deal with sub schema duplications in schema extraction#978
Logende merged 2 commits into
developfrom
691-better-way-to-deal-with-sub-schema-duplications-in-schema-extraction

Conversation

@Logende
Copy link
Copy Markdown
Collaborator

@Logende Logende commented May 20, 2026

What was done:

Make schema extraction avoid duplicate subschemas.

Why:

Better results when using the schema manipulations utilities.

@Logende Logende linked an issue May 20, 2026 that may be closed by this pull request
@Logende Logende merged commit 02ea3a9 into develop May 20, 2026
5 checks passed
@Logende Logende deleted the 691-better-way-to-deal-with-sub-schema-duplications-in-schema-extraction branch May 20, 2026 12:15
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.

better way to deal with sub-schema duplications in schema extraction

1 participant