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
..
docs-build-deploy	website: upgrade mike to version 2.0	2023-11-04 12:23:16 -07:00