diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f21cbda80..bcc846463 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -28,7 +28,7 @@ When necessary, maintainers can release a new version. This new version will pub 6. Push the branch to the remote repository 7. Create a new pull request from the branch to main 8. Merge the pull request -9. Create a new tag named `` using the GitHub interface +9. Create a new release named `` using the GitHub interface (be sure to select the main branch and to create a tag) And _voilĂ _! The new version is released and a CI workflow will publish packages to registries.