mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-19 19:08:08 +00:00
5d57cf1977
This is an alternative to https://github.com/martinvonz/jj/pull/3732. I think it's pretty important to show the "latest" alias. I don't know a way to not show any alias for "prerelease" in the version selector without deleting all of them. I'll have to then separately delete the directories for the aliases on the gh-pages branch, so that the URL does not resolve to outdated pages. The downsides are: this will break https://martinvonz.github.io/jj/main/... and (only recently created) https://martinvonz.github.io/jj/nightly/... links. We won't have an always-on demo of how well aliases work for when and if we adjust how aliases (including the all-important latest alias) work in the future. However, expanding on #3732 (comment), mike is now randomly alternating between "nightly" and "main" being the first alias of prerelease (it never promised that the set of aliases would be ordered). So, the version selector keeps switching in which version it shows. Previously, this only affected the prerelease docs, but now it also affects https://martinvonz.github.io/jj/latest/. |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| scripts | ||
| workflows | ||
| dependabot.yml | ||
| PULL_REQUEST_TEMPLATE.md | ||