Skip to content

chore: sort 'properties' keys in OpenAPI schemas#2682

Merged
copybara-service[bot] merged 1 commit into
mainfrom
copybara/943926999
Jul 8, 2026
Merged

chore: sort 'properties' keys in OpenAPI schemas#2682
copybara-service[bot] merged 1 commit into
mainfrom
copybara/943926999

Conversation

@copybara-service

@copybara-service copybara-service Bot commented Jul 7, 2026

Copy link
Copy Markdown

chore: sort 'properties' keys in OpenAPI schemas

@copybara-service copybara-service Bot force-pushed the copybara/943926999 branch 2 times, most recently from 3d4be8a to d3906d1 Compare July 7, 2026 18:11
@copybara-service copybara-service Bot changed the title No public description chore: sort 'properties' keys in OpenAPI schemas Jul 7, 2026
@copybara-service copybara-service Bot force-pushed the copybara/943926999 branch 2 times, most recently from 83ab905 to 20d2acb Compare July 8, 2026 00:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant