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

None yet

Development

Successfully merging this pull request may close these issues.

1 participant