Ilya Grigoriev 77cf968316 docs: replace redirects with copies of files ... This means that <https://martinvonz.github.io/jj/latest/index.html> will not longer redirect to <https://martinvonz.github.io/jj/v0.18.0/index.html> (or similar) after the next release, as requested by @jyn514 on Discord. Instead, it will be a copy. Originally, the plan was to use mike's symlink functionality and make `latest` a symlink. See a comment inline for how that didn't work; we could do that after changing how GitHub Pages are built. Before the next `jj` release, and after this PR is merged, you can play with this by going to <https://martinvonz.github.io/jj/main/> which is an alias for <https://martinvonz.github.io/jj/prerelease/>. Because of previous commits in this PR, the latest version will be marked in the version selector as "latest", so hopefully this won't confuse users. Due to the parent commit, the "latest" URL will be considered canonical.		2024-05-21 16:19:04 -07:00
..
docs-build-deploy	docs: replace redirects with copies of files	2024-05-21 16:19:04 -07:00