Skip to content

chore(openapi): sync server GraphQL metadata - #11

Merged
tiankaima merged 1 commit into
mainfrom
agent/sync-server-openapi-main
Jul 17, 2026
Merged

chore(openapi): sync server GraphQL metadata#11
tiankaima merged 1 commit into
mainfrom
agent/sync-server-openapi-main

Conversation

@tiankaima

Copy link
Copy Markdown
Member

Summary

  • sync the CLI OpenAPI snapshot with the current server main contract
  • regenerate the API path registry for the GraphQL protected-resource metadata endpoint

Root cause

The previous main run observed a cross-repository merge-order race: CLI #10 merged 44 seconds before the matching server contract. The server contract is now stable on main, so this PR contains only the resulting generated drift.

Verification

  • make check-openapi-sync against server main 9093c67e
  • make sync-openapi generate is idempotent
  • make test
  • make build
  • git diff --check

@tiankaima
tiankaima merged commit b666ab2 into main Jul 17, 2026
2 checks passed
@tiankaima
tiankaima deleted the agent/sync-server-openapi-main branch July 17, 2026 21:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant