Skip to content

Site: Add open-api/ to site-ci#12947

Closed
manuzhang wants to merge 1 commit intomainfrom
manuzhang-patch-1
Closed

Site: Add open-api/ to site-ci#12947
manuzhang wants to merge 1 commit intomainfrom
manuzhang-patch-1

Conversation

@manuzhang
Copy link
Copy Markdown
Member

No description provided.

@manuzhang manuzhang requested a review from Fokko May 1, 2025 14:27
@github-actions github-actions Bot added the INFRA label May 1, 2025
@Fokko
Copy link
Copy Markdown
Contributor

Fokko commented May 2, 2025

@manuzhang can you give some context on why this is needed?

@manuzhang
Copy link
Copy Markdown
Member Author

manuzhang commented May 2, 2025

@Fokko

Similar to #12869, to publish changes from REST Catalog spec immediately.

@Fokko
Copy link
Copy Markdown
Contributor

Fokko commented May 3, 2025

I believe the REST Spec is being pulled directly by Swagger from GitHub:

image

@manuzhang
Copy link
Copy Markdown
Member Author

Gotcha.

@manuzhang manuzhang closed this May 4, 2025
@manuzhang manuzhang deleted the manuzhang-patch-1 branch May 7, 2025 06:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants