ci/redirects: Add Redirect check for PRs - #1935

Merged

marcleblanc2 merged 4 commits into

mainfrom

marc/check-redirects

Sep 17, 2026

Commits on Sep 17, 2026

ci: fail PRs that break redirects, with suggested fixes

marcleblanc2
and
ampagent
committed
9d50b61
check-redirects: don't repeat the final destination the Fix line already names

marcleblanc2
and
ampagent
committed
0e4d902
check-redirects: sync review comments with dev/sync-review-comments.sh (from the check-links PR)

marcleblanc2
and
ampagent
committed
eaa8430
redirects: explain the rules at the top of the file, and how to check them

marcleblanc2
and
ampagent
committed
eeda268