Skip to content

fix(mirror): drive solved_by_pr from ClosedEvent.closer#123

Merged
entrius merged 1 commit into
testfrom
feat/closer-based-solver-attribution
May 23, 2026
Merged

fix(mirror): drive solved_by_pr from ClosedEvent.closer#123
entrius merged 1 commit into
testfrom
feat/closer-based-solver-attribution

Commits

Commits on May 23, 2026