ok/jj
1
0
Fork 0
forked from mirrors/jj
jj/.github
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
..
ISSUE_TEMPLATE github: add feature request issue template 2023-03-30 11:49:04 -07:00
scripts docs: replace redirects with copies of files 2024-05-21 16:19:04 -07:00
workflows docs: show version alias in version selector 2024-05-21 16:19:04 -07:00
dependabot.yml github: reenable grouped cargo updates 2023-12-16 14:40:39 +09:00
PULL_REQUEST_TEMPLATE.md docs: Fix missed paths from src->cli/src move 2023-08-18 14:35:19 +02:00