Skip to content

fix(miner): scope deny-hook synthesis proposals by forge host, not bare repoFullName - #5595

Merged
JSONbored merged 1 commit into
mainfrom
forge-scope-deny-hook-synthesis
Jul 13, 2026
Merged

fix(miner): scope deny-hook synthesis proposals by forge host, not bare repoFullName#5595
JSONbored merged 1 commit into
mainfrom
forge-scope-deny-hook-synthesis

Commits

Commits on Jul 13, 2026