fix docs redirects

[samuelcolvin]

We need to be careful about adding redirects for any changes of URL.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 100.00%. Comparing base (f292b38) to head (43326e4).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #556   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files          132       132           
  Lines        10175     10175           
  Branches      1395      1395           
=========================================
  Hits         10175     10175           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Kludex]

Is there a way to enforce this?

[samuelcolvin]

Is there a way to enforce this?

Not that I know of, but would be really good if we could.

[Kludex]

Is there a way to enforce this?

Not that I know of, but would be really good if we could.

I think we can add a pre-commit hook if a .md file under docs changes only the location, and ask for a change on the redirects.