Public repositories owned by the GitHub user; commit totals use author
matching and PRs use GitHub search. Snapshot generated 2026-10-02.
Each January 1, GitHub Actions preserves a new JSON snapshot instead
of replacing the old one, so this becomes a permanent year-by-year
developer archive.