RELEASE.md
We're making use of semantic versioning. We use semantic versioning for two things:
Speaking of milestones: it could be that we have a bug-fix release (e.g. 1.0.3), but a contributor submits a PR that adds a new feature. What do we do? Merge after we released 1.0.3? Change the name of the milestone to for example 1.1.0? Or another approach?
In that case, we should closely review the PR and 'compare' it with what semantic versioning has to say about the submitted feature. If the changes are significant enough, we're renaming the milestone to (for example) 1.1.0.
Cargo.toml and Cargo.lock.When all the above has been checked, you can push a tag to main to trigger the GitHub Action that creates a release:
git tag -s v1.2.3 -am '1.2.3'git push origin v1.2.3Change the version number to whatever version we're releasing.
If we publish a faulty release, for example containing a critical bug, this is how we should deal with it:
We issue a hotfix and keep the faulty release but we'll add warnings to the faulty release in the changelog.