GitHub metrics
PR volume and size trends (best-effort, allowlist-aware).
📈
Summary
Window: last 84 days
Waiting for auth…
🗂️
Top repos
Ranked by merged PRs in the window.
No repo data yet
Make sure `GITHUB_PAT` is set and authorized (SSO), then refresh.
🧾
All repos (detail)
Merged/opened counts plus total churn for merged PRs (best-effort).
Waiting for auth…