mirror of
https://github.com/zebrajr/node.git
synced 2026-01-15 12:15:26 +00:00
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 <mdawson@devrus.com> PR-URL: https://github.com/nodejs/node/pull/39198 Reviewed-By: James M Snell <jasnell@gmail.com> Reviewed-By: Harshitha K P <harshitha014@gmail.com> Reviewed-By: Rich Trott <rtrott@gmail.com> Reviewed-By: Gireesh Punathil <gpunathi@in.ibm.com>
This commit is contained in:
@@ -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 <remote> <vx.y.z>
|
||||
|
||||
Reference in New Issue
Block a user