From a06114a99d13f28182cef1877d1f24c0c26b0a1f Mon Sep 17 00:00:00 2001
From: Ryan Zoeller <rtzoeller@rtzoeller.com>
Date: Thu, 21 Apr 2022 16:05:06 -0500
Subject: Document pushing the release tag to GitHub

---
 RELEASE_PROCEDURE.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'RELEASE_PROCEDURE.md')

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.
-- 
cgit v1.2.3