Skip to content

Magiclink: fix handling of repos that start with dot#2563

Merged
facelessuser merged 4 commits intomainfrom
bugfix/repo-dot
Jan 10, 2025
Merged

Magiclink: fix handling of repos that start with dot#2563
facelessuser merged 4 commits intomainfrom
bugfix/repo-dot

Conversation

@facelessuser
Copy link
Owner

Fixes #2562

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: docs Related to documentation. C: magiclink Related to the magiclink extension. C: source Related to source code. C: tests Related to testing. labels Jan 10, 2025
@gir-bot gir-bot added the C: highlight Related to the highlight extension. label Jan 10, 2025
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Jan 10, 2025
@facelessuser facelessuser merged commit 94c6bc4 into main Jan 10, 2025
14 checks passed
@facelessuser facelessuser deleted the bugfix/repo-dot branch January 10, 2025 17:34
@woodruffw
Copy link

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: docs Related to documentation. C: highlight Related to the highlight extension. C: magiclink Related to the magiclink extension. C: source Related to source code. C: tests Related to testing. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

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

3 participants