Skip to content

[dropshot-api-manager] split Problem into VersionProblem and NonVersionProblem#101

Merged
sunshowers merged 3 commits into
mainfrom
sunshowers/spr/dropshot-api-manager-split-problem-into-versionproblem-and-nonversionproblem
May 15, 2026
Merged

[dropshot-api-manager] split Problem into VersionProblem and NonVersionProblem#101
sunshowers merged 3 commits into
mainfrom
sunshowers/spr/dropshot-api-manager-split-problem-into-versionproblem-and-nonversionproblem

Conversation

@sunshowers
Copy link
Copy Markdown
Collaborator

Upcoming compatibility dedup work will benefit from this split -- version problems need extra context that non-version problems don't.

Created using spr 1.3.6-beta.1
Created using spr 1.3.6-beta.1
Created using spr 1.3.6-beta.1
@sunshowers sunshowers merged commit 84e08c0 into main May 15, 2026
6 checks passed
@sunshowers sunshowers deleted the sunshowers/spr/dropshot-api-manager-split-problem-into-versionproblem-and-nonversionproblem branch May 15, 2026 07:16
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