Skip to content

feat(site): link top committers to their GitHub profiles - #18

Merged
mike-wendt merged 2 commits into
mainfrom
feat-link-committer-profiles
Sep 5, 2026
Merged

feat(site): link top committers to their GitHub profiles#18
mike-wendt merged 2 commits into
mainfrom
feat-link-committer-profiles

Conversation

@mike-wendt

@mike-wendt mike-wendt commented Sep 5, 2026

Copy link
Copy Markdown
Contributor

Summary

Links each name in the "Top committers" table to https://github.com/<login>.

Kept simple per feedback -- just adds the href, no data model changes. top_committers[].login can technically fall back to a raw git author name instead of a real GitHub username in the rare case a commit isn't linked to a GitHub account, which would make the link 404. Not guarding against that now; revisit only if it turns out to matter in practice.

Test plan

  • uv run scripts/build_site.py exits cleanly
  • Reused the existing {text, href} cell pattern shared.js's buildCellItem already renders correctly elsewhere (topPaths) -- no new client-side logic
  • Confirm Verify pipeline / verify passes on this PR

🤖 Generated with Claude Code

Only links entries where activity.top_committers[].is_user is true --
a commit not linked to a GitHub account falls back to a raw git author
name, which isn't safe to link directly (could 404, or point at an
unrelated real user whose username happens to match). fetch_metrics.py
now tracks is_user per committer; build_site.py propagates it through
the activity-window aggregation (defaulting true for older snapshots
collected before this field existed, since every committer seen in
this project's history so far has been a real login).
Simple version -- just links every login to https://github.com/<login>,
no schema change. If a login turns out not to be a real username (rare
edge case: an unlinked commit falls back to a raw git author name),
the link 404s; not worth a data-model change to guard against that now.

@mike-wendt mike-wendt left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Self-reviewed and approved

@mike-wendt
mike-wendt merged commit fc1f332 into main Sep 5, 2026
1 check passed
@mike-wendt
mike-wendt deleted the feat-link-committer-profiles branch September 5, 2026 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant