Skip to content

Take the document at API version 1.20.3 and fix the kept source - #11

Merged
bensynapse merged 1 commit into
mainfrom
fix/vendored-source-1.20.3
Nov 14, 2026
Merged

bensynapse merged 1 commit into
mainfrom
fix/vendored-source-1.20.3

Conversation

@bensynapse

Copy link
Copy Markdown
Contributor

The curated document moves from API 1.20.0 to 1.20.3. Only info.version changed.

curate.py --vendor dropped ErrorEnvelope and ErrorBody from the kept source. Only the shared responses point at them. Curating scripts/server-openapi.json then stopped with KeyError 'ErrorEnvelope'.

strip_source now follows the shared responses. --vendor refuses a kept source that curates to a different document. truthcheck curates the kept source in CI.

Checked locally: curate --check against the live document and the kept source, build_reference --check, truthcheck, Redocly lint.

The curated document moves from API 1.20.0 to 1.20.3.
Only info.version changed. Paths, operations and schemas are the same.

curate.py --vendor dropped ErrorEnvelope and ErrorBody from the kept source.
Only the shared responses point at them, and strip_source did not follow those.
Curating scripts/server-openapi.json then stopped with KeyError 'ErrorEnvelope'.
strip_source now follows the shared responses.
--vendor refuses a kept source that curates to a different document.
truthcheck curates the kept source, so CI catches it.
@bensynapse
bensynapse merged commit 2609167 into main Nov 14, 2026
5 checks passed
@bensynapse
bensynapse deleted the fix/vendored-source-1.20.3 branch November 14, 2026 16:50
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.

1 participant