harness: reset lists open PRs with --limit 200 and stops if any survive (closes #321) - #322

Merged

mmcky merged 2 commits into

mainfrom

harness-reset-limit

Sep 23, 2026

Commits on Sep 23, 2026

harness: reset lists open PRs with --limit 200 and stops if any survive

mmcky
and
claude
committed
c43e749
harness: a failed listing in the post-reset check names the repo and the error

mmcky
and
claude
committed
88f6070