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

Release 1.1 #87

Merged
merged 1 commit into from
Jan 25, 2024
Merged

Release 1.1 #87

merged 1 commit into from
Jan 25, 2024

Conversation

gagbo
Copy link
Member

@gagbo gagbo commented Jan 25, 2024

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 changed the title Release 1b Release 1.1 Jan 25, 2024
@gagbo gagbo merged commit c8417f1 into main Jan 25, 2024
7 checks passed
@gagbo gagbo deleted the release_1.1 branch January 25, 2024 12:33
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