Skip to content

tools: fix api-diff for omicron git stubs#3105

Merged
david-crespo merged 1 commit intomainfrom
api-diff-gitstubs
Mar 5, 2026
Merged

tools: fix api-diff for omicron git stubs#3105
david-crespo merged 1 commit intomainfrom
api-diff-gitstubs

Conversation

@david-crespo
Copy link
Collaborator

As of oxidecomputer/omicron#9933, resolving an API schema now requires checking if it's a git stub and following that to the appropriate commit if so.

@vercel
Copy link

vercel bot commented Mar 5, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
console Ready Ready Preview Mar 5, 2026 6:23pm

Request Review

@david-crespo david-crespo enabled auto-merge (squash) March 5, 2026 18:24
@david-crespo david-crespo merged commit 7585bfa into main Mar 5, 2026
7 checks passed
@david-crespo david-crespo deleted the api-diff-gitstubs branch March 5, 2026 18:32
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