Skip to content

Fix #66: ignore closed issues and prune them from the state#68

Merged
max-tet merged 1 commit intomainfrom
clayde/issue-66-prune-closed-issues
Apr 8, 2026
Merged

Fix #66: ignore closed issues and prune them from the state#68
max-tet merged 1 commit intomainfrom
clayde/issue-66-prune-closed-issues

Commits

Commits on Apr 8, 2026