summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--RELEASE_PROCEDURE.md1
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.