From eacee0ab176caa629fb07ccc3fdea83345f9712b Mon Sep 17 00:00:00 2001 From: Michael Dawson Date: Tue, 29 Jun 2021 17:13:59 -0400 Subject: [PATCH] doc: use "repository" in guides versus repo Fix remaining instances in the guides where we use repo instead of repository. Signed-off-by: Michael Dawson PR-URL: https://github.com/nodejs/node/pull/39198 Reviewed-By: James M Snell Reviewed-By: Harshitha K P Reviewed-By: Rich Trott Reviewed-By: Gireesh Punathil --- doc/guides/releases.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/guides/releases.md b/doc/guides/releases.md index 832b8c8eda0680..5087f4e0bb69be 100644 --- a/doc/guides/releases.md +++ b/doc/guides/releases.md @@ -583,9 +583,9 @@ $ git push upstream master ### 14. Push the release tag -Push the tag to the repo before you promote the builds. If you haven't pushed -your tag first, then build promotion won't work properly. Push the tag using the -following command: +Push the tag to the repository before you promote the builds. If you +haven't pushed your tag first, then build promotion won't work properly. +Push the tag using the following command: ```console $ git push