Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: do not tag releases in the CI #78

Merged
merged 1 commit into from
Nov 2, 2023
Merged

ci: do not tag releases in the CI #78

merged 1 commit into from
Nov 2, 2023

Conversation

jd
Copy link
Member

@jd jd commented Nov 2, 2023

This generates unsigned tag. Rather use releases from GitHub to upload
automatically.

@jd
ci: do not tag releases in the CI
8f30af1 
This generates unsigned tag. Rather use releases from GitHub to upload
automatically.
@jd jd requested review from sileht November 2, 2023 08:03
sileht
sileht approved these changes Nov 2, 2023
View reviewed changes
Copy link
Member

@sileht sileht left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not a big deal for this repo, but this put trust into the developers allowed to push tags to correctly tag the right commit and pick the right version.

@mergify mergify bot merged commit eb51c60 into Mergifyio:main Nov 2, 2023
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sileht sileht Awaiting requested review from sileht

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jd @sileht