Skip to content

Fix maintainer dashboard 'Open PRs cached' undercount - #408

Merged
JSONbored merged 1 commit into
mainfrom
codex/propose-fix-for-undercounted-open-pr-metric
Jun 5, 2026
Merged

Fix maintainer dashboard 'Open PRs cached' undercount#408
JSONbored merged 1 commit into
mainfrom
codex/propose-fix-for-undercounted-open-pr-metric

Commits

Commits on Jun 5, 2026