Skip to content

chore(extension): remove dead matchPullRequestTarget; pin extension endpoints to the API contract - #8053

Closed
RealDiligent wants to merge 2 commits into
JSONbored:mainfrom
RealDiligent:fix/critical-issue-extension-dead-match-8023
Closed

chore(extension): remove dead matchPullRequestTarget; pin extension endpoints to the API contract#8053
RealDiligent wants to merge 2 commits into
JSONbored:mainfrom
RealDiligent:fix/critical-issue-extension-dead-match-8023

Commits

Commits on Jul 22, 2026