Skip to content

fix(miner): drop discovery-index candidates whose repo bans AI contributions (#9680) - #9908

Merged
loopover-orb[bot] merged 1 commit into
JSONbored:mainfrom
kai392:fix/9680-drop-ai-banned-v2
Jul 29, 2026
Merged

fix(miner): drop discovery-index candidates whose repo bans AI contributions (#9680)#9908
loopover-orb[bot] merged 1 commit into
JSONbored:mainfrom
kai392:fix/9680-drop-ai-banned-v2

Commits

Commits on Jul 29, 2026