Document pushing the release tag to GitHub

nix-rust · Apr 21, 2022 · a06114a · a06114a
1 parent 7f5907c
commit a06114a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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.