Skip to content

fix(signals): scope cross-repo PR pressure by isInstalled, not isRegistered - #5698

Merged
JSONbored merged 1 commit into
mainfrom
fix/local-branch-isinstalled
Jul 14, 2026
Merged

fix(signals): scope cross-repo PR pressure by isInstalled, not isRegistered#5698
JSONbored merged 1 commit into
mainfrom
fix/local-branch-isinstalled

Commits

Commits on Jul 14, 2026