Skip to content

MagicLink doesn't link user/.github#num correctly #2562

@woodruffw

Description

@woodruffw

Description

Hi there, thanks for this extension set! I'm a very happy user.

I noticed what I think is a MagicLink bug in zizmor's documentation, appearing with zizmorcore/zizmor#415: it looks like user/.github#num doesn't appear to recognize user/.github as the user/repo slug, and instead sees it as {default_user}/github#num.

For example, nextcloud/.github#477 is included here and gets linked incorrectly to https://github.com/woodruffw/github/issues/477, instead of https://github.com/nextcloud/.github/issues/477.

Some additional details here: zizmorcore/zizmor#415

Minimal Reproduction

  1. Use user/.github#num as a MagicLink
  2. Observe that the link is to {default_user}/github#num instead of user/.github#num

Version(s) & System Info

  • Operating System: Ubuntu 24.04
  • Python Version: 3.12
  • Package Version: 10.14 (via mkdocs-material)

Metadata

Metadata

Assignees

No one assigned

    Labels

    S: confirmedConfirmed bug report or approved feature request.T: bugBug.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions