Skip to content

fix(signals): scope contributor-open-pr-monitor to isInstalled, not isRegistered - #5691

Merged
JSONbored merged 1 commit into
mainfrom
fix/open-pr-monitor-isinstalled-5025
Jul 14, 2026
Merged

fix(signals): scope contributor-open-pr-monitor to isInstalled, not isRegistered#5691
JSONbored merged 1 commit into
mainfrom
fix/open-pr-monitor-isinstalled-5025

Commits

Commits on Jul 14, 2026