⚙️ [Maintenance]: Cross-repository links are now verified - #145

Merged

Marius Storhaug (MariusStorhaug) merged 13 commits into

mainfrom

check-cross-repo-links

Aug 9, 2026

Commits on Aug 2, 2026

Add the failing suite for the cross-repository link check

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
7876540
Resolve cross-repository links against the repositories they point at

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
4875058
Repair the six cross-repository links the new check finds

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
76a7655
Run the cross-repository link check as its own scheduled workflow

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
77a3265
Stop asking once the API quota is gone, and say what would have helped

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
fc68963
State in the Markdown standard that cross-repository links are checked

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
5860d51
TEMPORARY: point one link at a missing file and one at a missing anchor

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
45c6ec5
Teach codespell that a Unicode category escape is not a typo

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
0deaeb9
Revert "TEMPORARY: point one link at a missing file and one at a missing anchor"
Marius Storhaug (MariusStorhaug)
committed
7de430d
Check the git reference a link names, not just the repository

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
f76b969
Say which link forms are checked, and stop implying the rest are

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
d00db90
Merge branch 'main' into check-cross-repo-links
Marius Storhaug (MariusStorhaug)
authored
84b70b4

Commits on Aug 9, 2026

Merge main into cross-repository link check

Marius Storhaug (MariusStorhaug)
and
Copilot
committed
9c810be

Navigation Menu

Uh oh!

⚙️ [Maintenance]: Cross-repository links are now verified - #145

⚙️ [Maintenance]: Cross-repository links are now verified#145
Marius Storhaug (MariusStorhaug) merged 13 commits into
mainfrom
check-cross-repo-links

Commits on Aug 2, 2026

Add the failing suite for the cross-repository link check

Resolve cross-repository links against the repositories they point at

Repair the six cross-repository links the new check finds

Run the cross-repository link check as its own scheduled workflow

Stop asking once the API quota is gone, and say what would have helped

State in the Markdown standard that cross-repository links are checked

TEMPORARY: point one link at a missing file and one at a missing anchor

Teach codespell that a Unicode category escape is not a typo

Revert "TEMPORARY: point one link at a missing file and one at a missing anchor"

Check the git reference a link names, not just the repository

Say which link forms are checked, and stop implying the rest are

Merge branch 'main' into check-cross-repo-links

Commits on Aug 9, 2026

Merge main into cross-repository link check