Ilya Grigoriev 5fc649cbee website: upgrade mike to version 2.0 ... https://github.com/jimporter/mike/releases/tag/v2.0.0 The main immediate advantage of this is that `mike` will stop pushing empty commits. Also, we can consider switching to using symlinks instead of redirects for mapping the "latest" version to "v0.11.0". This would make `https://martinvonz.github.io/jj/latest/` have the same content as `https://martinvonz.github.io/jj/v0.11.0/` (until the next version is out), but the user would see `latest` in the URL. For now, I set an option to keep using redirects. I did a bit of non-exhaustive testing; it seems to work.		2023-11-04 12:23:16 -07:00
..
ISSUE_TEMPLATE
scripts	website: upgrade mike to version 2.0	2023-11-04 12:23:16 -07:00
workflows	github: bump the github-dependencies group with 1 update	2023-11-03 15:58:00 +00:00
dependabot.yml	dependabot: also group cargo updates	2023-07-07 17:36:45 +02:00
PULL_REQUEST_TEMPLATE.md	docs: Fix missed paths from src->cli/src move	2023-08-18 14:35:19 +02:00