Merge #1701

1701: Document pushing the release tag to GitHub r=asomers a=rtzoeller



Co-authored-by: Ryan Zoeller <[email protected]>

Author: bors[bot]

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.