Fix duplicate leaderboard PRs; add reset_results knob#34

Closed

isPANN wants to merge 1 commit into

mainfrom

fix/leaderboard-pr-dedup

Commits on Jul 6, 2026

fix(scoring): one rolling leaderboard PR; add reset_results; pluralize title

isPANN
and
claude
committed