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

@Logende Logende commented May 20, 2026

Copy link
Copy Markdown
Collaborator

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