Skip to content

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

Closed
kai392 wants to merge 1 commit into
JSONbored:mainfrom
kai392:fix/9680-drop-ai-banned-index
Closed

fix(miner): drop discovery-index candidates whose repo bans AI contributions (#9680)#9907
kai392 wants to merge 1 commit into
JSONbored:mainfrom
kai392:fix/9680-drop-ai-banned-index

Commits

Commits on Jul 29, 2026