diff --git a/RELEASE_PROCEDURE.md b/RELEASE_PROCEDURE.md
index fab41dd339..9c68f78b18 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.