Skip to content

Commit eacee0a

Browse files
mhdawsontargos
authored andcommitted
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 <[email protected]> PR-URL: #39198 Reviewed-By: James M Snell <[email protected]> Reviewed-By: Harshitha K P <[email protected]> Reviewed-By: Rich Trott <[email protected]> Reviewed-By: Gireesh Punathil <[email protected]>
1 parent 1375559 commit eacee0a

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

Diff for: doc/guides/releases.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -583,9 +583,9 @@ $ git push upstream master
583583

584584
### 14. Push the release tag
585585

586-
Push the tag to the repo before you promote the builds. If you haven't pushed
587-
your tag first, then build promotion won't work properly. Push the tag using the
588-
following command:
586+
Push the tag to the repository before you promote the builds. If you
587+
haven't pushed your tag first, then build promotion won't work properly.
588+
Push the tag using the following command:
589589

590590
```console
591591
$ git push <remote> <vx.y.z>

0 commit comments

Comments
 (0)