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.

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

chore: release 1.0 #84

Merged
merged 1 commit into from
Dec 1, 2023
Merged

chore: release 1.0 #84

merged 1 commit into from
Dec 1, 2023

Conversation

gagbo
Copy link
Member

@gagbo gagbo commented Dec 1, 2023

Release

  • The CHANGELOG is updated with a new section and the correct links
  • The Version value in internal/build package is updated

Once this PR is merged, the commit must have a matching tag in the repository,
and a corresponding release must be created in Github. If no other PR is merged
after this one, it is possible to do both steps in one go by creating the release
from Github UI. Otherwise, put the tag on the correct commit first, and do
the release "from an existing tag".

@gagbo gagbo merged commit 853e2f3 into main Dec 1, 2023
7 checks passed
@gagbo gagbo deleted the release_1.0 branch December 1, 2023 12:37
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