Skip to content

feat: separate merged from closed PRs, hide empty sections#7

Merged
zeke merged 2 commits into
mainfrom
improve-pr-output
Jan 15, 2026
Merged

feat: separate merged from closed PRs, hide empty sections#7
zeke merged 2 commits into
mainfrom
improve-pr-output

Commits

Commits on Jan 15, 2026