Clement Tsang b8429cb401 docs: indicate stable version in selector on deploy (#654) ... Adds an indicator in the form of `$version (stable)` to make it easier to see which is the most recent stable version. This is done via CI and mike: 1. Set the previous title to just `$version`. We can get this value by `mike list stable` and grepping for valid version tags (otherwise this might have issues with `$version (stable)`). 2. Deploy `$new_version` and alias to stable. 3. Update the `$new_version` to have a new title of `$new_version (stable)`.		2022-01-01 20:45:44 -05:00
..
ISSUE_TEMPLATE	docs: add section on WSL in Linux known issues, update links (#653)	2021-12-31 16:50:40 -05:00
workflows	docs: indicate stable version in selector on deploy (#654)	2022-01-01 20:45:44 -05:00
pull_request_template.md	other: update PR template	2021-12-19 13:01:34 -05:00