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