Skip to content

chore: release 0.1.1 - #16

Merged
Radiergummi merged 1 commit into
mainfrom
chore/release-0.1.1
Jul 30, 2026
Merged

chore: release 0.1.1#16
Radiergummi merged 1 commit into
mainfrom
chore/release-0.1.1

Conversation

@Radiergummi

Copy link
Copy Markdown
Member

Bumps all three manifests to 0.1.1 and records why 0.1.0 will never exist on a registry.

Why not just re-tag 0.1.0

v0.1.0 was tagged but never published — its run failed in the first job on the git cat-file tag check, fixed in #12. Nothing reached npmjs, PyPI or Packagist.

Deleting and re-tagging would have been tidier. The Immutable release tags ruleset refused it, for me as well, since it has no bypass actors:

remote: - Cannot delete this tag
remote: ! [remote rejected] v0.1.0 (push declined due to repository rule violations)

That control exists precisely to stop a published version tag being moved. Weakening it to correct a cosmetic version number, in a repository whose entire point is supply-chain rigour, is the wrong trade. So v0.1.0 stays as a tag pointing at a commit that was never released, and 0.1.1 becomes the first published version.

Mildly satisfying that the first real test of that ruleset was it telling me no.

After merging

I'll tag v0.1.1. The run will build and attest, then pause for your approval on the release environment before anything is published — that gate can't be satisfied by me.

v0.1.0 was tagged but never published: its release run failed in the first
job on the git cat-file tag check, fixed in #12. Nothing reached any
registry.

Re-tagging v0.1.0 would have been tidier, but the Immutable release tags
ruleset refused the deletion -- for me too, since it has no bypass actors.
That control exists precisely to stop a published version tag being moved,
and weakening it to correct a version number in a repository whose whole
point is supply-chain rigour would be the wrong trade. So the tag stays,
pointing at a commit that was never released, and 0.1.1 becomes the first
published version.

The changelog records why 0.1.0 does not exist on any registry, so nobody
has to reconstruct it from workflow logs later.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01CEdTd43qLEEE5qCsL1A7gW
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

@Radiergummi
Radiergummi merged commit 6b11d9e into main Jul 30, 2026
12 checks passed
@Radiergummi
Radiergummi deleted the chore/release-0.1.1 branch July 30, 2026 13:40
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