Skip to content

fix(signals): compare local branch repo names case-insensitively - #965

Merged
JSONbored merged 3 commits into
mainfrom
codex/fix-case-sensitive-repo-scoping-issue
Jun 21, 2026
Merged

fix(signals): compare local branch repo names case-insensitively#965
JSONbored merged 3 commits into
mainfrom
codex/fix-case-sensitive-repo-scoping-issue

Merge branch 'main' into codex/fix-case-sensitive-repo-scoping-issue

7f2f3f7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar