Skip to content

fix(signals): group contributor open PRs by repo case-insensitively#1527

Open
galuis116 wants to merge 2 commits into
JSONbored:mainfrom
galuis116:fix/open-pr-monitor-repo-case
Open

fix(signals): group contributor open PRs by repo case-insensitively#1527
galuis116 wants to merge 2 commits into
JSONbored:mainfrom
galuis116:fix/open-pr-monitor-repo-case

Merge branch 'main' into fix/open-pr-monitor-repo-case

fd87ed5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
security
succeeded Jun 26, 2026 in 7s