fix(miners): use closed_at for CLOSED PRs in pull request window filter#149

Closed

Tet-9 wants to merge 14 commits into

entrius:testfrom

Tet-9:fix/139-closed-prs-use-closed-at

Commits on May 22, 2026

docs: add open-item rate limit rule to CONTRIBUTING (#122)

anderdc
and
anderdc
authored

Commits on May 23, 2026

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

anderdc
and
anderdc
authored

Commits on May 28, 2026

fix: allowing unknown solvers through mirror solved-issue pipeline (#87)
jonathanchang31
authored

Commits on May 30, 2026

fix(miners): use closed_at for CLOSED PRs in pull request window filter
Tet-9
committed