Skip to content

Release v0.1.2#5

Merged
slowdini merged 4 commits into
mainfrom
dev
Jun 21, 2026
Merged

Release v0.1.2#5
slowdini merged 4 commits into
mainfrom
dev

Conversation

@slowdini

Copy link
Copy Markdown
Owner

Release notes

Replace this paragraph with a short narrative for the release. If left unchanged, GitHub's auto-generated notes will be used instead.

slowdini and others added 4 commits June 21, 2026 17:12
gh release create already creates the git tag on the remote when it
doesn't yet exist (per gh release create --help). The separate 'Create
and push tag' step that followed it therefore attempted to push a tag
that already existed, which git rejected with:

  ! [rejected] v0.1.1 -> v0.1.1 (already exists)

Removing the redundant step lets gh release create own both the release
and the tag atomically. Downstream jobs (build-artifacts, publish-zed,
publish-neovim) already checkout ref: ${{ needs.tag-and-release.outputs.tag }}
and continue to work since the tag is created before they run.
fix: remove redundant tag push in release workflow
@slowdini slowdini merged commit 6ef4568 into main Jun 21, 2026
1 check passed
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