Skip to content

Add :gh-user: role for links to GitHub profiles - #594

Merged
honzajavorek merged 1 commit into
masterfrom
honzajavorek/gh-user
Oct 27, 2026
Merged

honzajavorek merged 1 commit into
masterfrom
honzajavorek/gh-user

Conversation

@honzajavorek

@honzajavorek honzajavorek commented Oct 27, 2026 •

Copy link
Copy Markdown
Member

Follow-up to #592, part of #431. Independent of #595; once both this and #595 are merged, #431 can be closed.

  • New :gh-user: role via extlinks: :gh-user:`kvbik` renders as @kvbik linking to https://github.com/kvbik
  • Used in boards.rst.jinja and grants.rst.jinja. The grant generator no longer needs the user's profile URL, only the username
  • Generated pages updated to match: boards.rst was regenerated with pyvec-docs gen-boards. grants.rst was updated only on the 23 template-generated "Dne … požádal uživatel …" lines, without re-fetching from GitHub. Texts of grant requests taken verbatim from GitHub issues are untouched
  • Remaining hand-written profile links (promotion.rst, meeting-notes/2022-2025.md) use the role with custom text
  • Documented in the contributing guide

The docs build passes with -nWaE and the tests pass.

🤖 Generated with Claude Code

Use it in the boards and grants templates (and their generated output),
and for the remaining hand-written profile links. Texts of grant requests
taken verbatim from GitHub issues are left untouched.

Refs #431

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@honzajavorek
honzajavorek merged commit ed552d0 into master Oct 27, 2026
3 checks passed
@honzajavorek
honzajavorek deleted the honzajavorek/gh-user branch October 27, 2026 09:21
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