Use direct avatars.githubusercontent.com URL for contributor avatars

[Copilot]

• Replace mixed HTML/Markdown contributor cells with pure HTML anchor tags
• Add alt attribute to <img> tags
• Add ?s=64 size query to avatar URLs to reduce bandwidth
• Extract _contributor_cell() helper to eliminate code duplication between tables
• Validate login against GitHub's username pattern (_GITHUB_LOGIN_RE)
• URL-encode login with urllib.parse.quote in href/src
• HTML-escape login with html.escape in alt and display text
• Tighten _GITHUB_LOGIN_RE to reject consecutive hyphens
• Handle invalid logins gracefully (log warning + skip row instead of raising ValueError)

[jbampton]

/gemini review

[gemini-code-assist]

Code Review

This pull request updates the leaderboard generation script to include contributor avatars by replacing markdown links with HTML anchor and image tags. The review feedback recommends adding an empty alt attribute to the tags to improve accessibility, as the images are decorative and redundant with the username text.

[Copilot]

Pull request overview

Updates the markdown generation in scripts/leaderboard.py to render contributor cells using pure HTML (link + avatar + handle) rather than Markdown links, aligning the leaderboard output with the intended HTML-only formatting.

Changes:

• Introduces an HTML contributor_cell (<a><img><br>@login</a>) for the main leaderboard table.
• Applies the same HTML contributor cell rendering to the “Extended Statistics” table.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[jbampton]

@copilot apply changes based on the comments in this thread

[Copilot]

@copilot apply changes based on the comments in this thread

Done in c945a26. _GITHUB_LOGIN_RE is now ^(?=.{1,39}$)[A-Za-z0-9]+(?:-[A-Za-z0-9]+)*$, which enforces the 1–39 character limit and rejects consecutive hyphens (e.g. a--b), leading hyphens, and trailing hyphens.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[jbampton]

/gemini review

[gemini-code-assist]

Code Review

This pull request updates the leaderboard script to generate HTML-based contributor cells with avatars and links, replacing the previous markdown format. It introduces GitHub username validation using a regular expression and ensures proper URL and HTML escaping. Feedback was provided regarding the use of a ValueError for invalid logins, which could cause the script to crash in a CI/CD environment; it is recommended to handle these cases more gracefully to avoid breaking the leaderboard generation.

[gemini-code-assist]

Raising a ValueError here will cause the entire script to crash during the markdown generation phase if an invalid login is encountered (e.g., from a legacy account or a manual entry in EMAIL_ALIASES). Since this script likely runs in a CI/CD pipeline to update the README, a single invalid username would break the leaderboard for the whole organization.

Consider validating the login earlier in the pipeline (e.g., in build_leaderboard) and handling invalid entries gracefully by logging a warning and skipping the contributor or using a safe fallback.