Skip to content

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

Merged
JSONbored merged 4 commits into
JSONbored:mainfrom
galuis116:fix/open-pr-monitor-repo-case
Jun 28, 2026
Merged

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

Merge branch 'fix/open-pr-monitor-repo-case' of https://github.com/ga…

d20b607
Select commit
Loading
Failed to load commit list.
Superagent Security / Contributor trust succeeded Jun 28, 2026 in 1s

Contributor verified

Score: 65/100 · Verdict: caution

View more details on Superagent Security