Skip to content

fix(signals): preserve repo casing for open PR lookups - #1716

Merged
JSONbored merged 1 commit into
mainfrom
codex/propose-fix-for-case-variant-pr-issue
Jun 29, 2026
Merged

fix(signals): preserve repo casing for open PR lookups#1716
JSONbored merged 1 commit into
mainfrom
codex/propose-fix-for-case-variant-pr-issue

fix(signals): preserve repo casing for open PR lookups

0f62305
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar