diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-11-27 08:33:03 +0100 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-11-27 13:29:00 +0000 |
commit | 8fb477a6e7ecb887761b73d4defeb75fca99e59c (patch) | |
tree | ca8412fcfd619e69d85a7470f21d706c6599f867 /.gitignore | |
parent | 05b7e2dc576fd7ba30a5efc8a1ef708bba52128f (diff) |
add path based redirects
up to now, those were managed outside of this repo, which as
unsurprisingly a real hassle to deal with if one wanted to prevent URLs
from breaking when moving pages around. this change removes a large part
of the friction involved in moving content in the Nix manual.
possible next steps for further automation:
- check for content that moved and warn if it's not reachable from
links that were valid prior to a change
- create redirect rules automatically based on this information
(cherry picked from commit 2b7016cc56d12e67de9f1f25b18311866a26a5fe)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions