aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-11-27 08:33:03 +0100
committergithub-actions[bot] <github-actions[bot]@users.noreply.github.com>2023-11-27 13:29:00 +0000
commit8fb477a6e7ecb887761b73d4defeb75fca99e59c (patch)
treeca8412fcfd619e69d85a7470f21d706c6599f867 /.gitignore
parent05b7e2dc576fd7ba30a5efc8a1ef708bba52128f (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