Skip to content

Conversation

@lagru
Copy link
Member

@lagru lagru commented Oct 23, 2025

This is useful because Read the Docs doesn't show the current version
for "latest" or "stable". Having the exact version, down to commit, etc.
is useful!

Release note

For maintainers and optionally contributors, please refer to changelist's README on how to document this PR for the release notes.

...

lagru added 2 commits October 23, 2025 22:24
This is useful because Read the Docs doesn't show the current version
for "latest" or "stable". Having the exact version, down to commit, etc.
is useful!
@lagru lagru added this to the v0.5 milestone Oct 23, 2025
@lagru lagru added the devops Infrastructure, tooling, ... label Oct 23, 2025
@lagru lagru merged commit 4e8560d into main Oct 23, 2025
8 checks passed
@lagru lagru deleted the version-in-doc-sidebar branch October 23, 2025 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops Infrastructure, tooling, ...

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants