Skip to content

Ignore links to GitHub user and organisation profiles#7308

Merged
jtpio merged 1 commit intojupyter:mainfrom
jtpio:fix-check-links
Mar 29, 2024
Merged

Ignore links to GitHub user and organisation profiles#7308
jtpio merged 1 commit intojupyter:mainfrom
jtpio:fix-check-links

Commits

Commits on Mar 29, 2024