diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-04-21 21:16:39 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-21 21:16:39 +0000 |
commit | 9793aafb9cdcfbe0b8c00a7ec96d95451d6e9f1a (patch) | |
tree | 788a301c40d1f5b065d51d0265d26f3a2f642e43 | |
parent | 7f5907c78d58b75a4a0771217bdb488b8f42ac95 (diff) | |
parent | a06114a99d13f28182cef1877d1f24c0c26b0a1f (diff) | |
download | nix-9793aafb9cdcfbe0b8c00a7ec96d95451d6e9f1a.zip |
Merge #1701
1701: Document pushing the release tag to GitHub r=asomers a=rtzoeller
Co-authored-by: Ryan Zoeller <rtzoeller@rtzoeller.com>
-rw-r--r-- | RELEASE_PROCEDURE.md | 1 |
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. |