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

Closed

marcleblanc2 wants to merge 3 commits into

mainfrom

check-redirects

Commits on Sep 11, 2026

ci: fail PRs that break redirects, with suggested fixes

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

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

marcleblanc2
and
ampagent
committed
26dd4a7