Skip to content

Conversation

pedro-psb
Copy link
Member

As a fallback we tried fetching from some git remote, but we didnt' have a guarantee that this was associated with the pulp-docs official remote git url. This applies a more robust approach explicit fetching from that url.

@pedro-psb pedro-psb force-pushed the improve-openapi-spec-fetching branch from 49ad192 to 722d21f Compare October 9, 2025 20:55
@pedro-psb pedro-psb enabled auto-merge (rebase) October 9, 2025 20:55
@pedro-psb pedro-psb changed the title Improve openapi_json fallback fetching Improve openapi_json fetching fallback Oct 9, 2025
# Not found locally. Try again fetching from the official remote url
pulp_docs_git.git.fetch(self.pulpdocs_git_url, "docs-data")
api_json = pulp_docs_git.git.show(
f"{remote}/docs-data:data/openapi_json/{component.rest_api}-api.json"
Copy link
Member

Choose a reason for hiding this comment

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

What if we try all fetched remotes first before reaching out to the internet?

Copy link
Member Author

Choose a reason for hiding this comment

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

We can do that

Copy link
Member

Choose a reason for hiding this comment

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

thank you!

As a fallback we tried fetching from some git remote, but we didnt'
have a guarantee that this was associated with the pulp-docs official
remote git url. This applies a more robust approach explicit fetching
from that url.
@pedro-psb pedro-psb force-pushed the improve-openapi-spec-fetching branch from 722d21f to 5790125 Compare October 10, 2025 12:40
@pedro-psb pedro-psb merged commit c2f948f into pulp:main Oct 13, 2025
5 checks passed
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.

2 participants