Skip to content

docs: pin the CI snippet at v0.1.3 - #10

Merged
melbinjp merged 1 commit into
mainfrom
docs/pin-v013
Aug 18, 2026
Merged

docs: pin the CI snippet at v0.1.3#10
melbinjp merged 1 commit into
mainfrom
docs/pin-v013

Conversation

@melbinjp

Copy link
Copy Markdown
Owner

v0.1.3 is out and carries the rename-chain fix (#8) and the version fix (#9), so the snippet people copy should get them.

Done after the tag existed rather than inside the release PR, so main never names a tag that is not there. That is the same class of broken-snippet defect this tool exists to find, and this README already shipped one once (pipx run docproof, which never worked).

v0.1.3 is out and carries both the rename-chain fix and the version fix, so the
snippet people copy should get them. Done after the tag existed rather than in the
release PR, so main never names a tag that is not there - which is the same class
of broken-snippet defect this tool exists to find, and the README already shipped
one once with 'pipx run docproof'.
@melbinjp
melbinjp merged commit c321357 into main Aug 18, 2026
21 checks passed
@melbinjp
melbinjp deleted the docs/pin-v013 branch August 18, 2026 17:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant