diff options
-rw-r--r-- | RELEASE_PROCEDURE.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/RELEASE_PROCEDURE.md b/RELEASE_PROCEDURE.md index fab41dd3..9c68f78b 100644 --- a/RELEASE_PROCEDURE.md +++ b/RELEASE_PROCEDURE.md @@ -16,3 +16,4 @@ The release is prepared as follows: - Confirm that everything's ready for a release by running `cargo release <patch|minor|major>` - Create the release with `cargo release -x <patch|minor|major>` +- Push the created tag to GitHub. |