Skip to content

Commit

Permalink
doc: use "repository" in guides versus repo
Browse files Browse the repository at this point in the history
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]>
  • Loading branch information
mhdawson committed Jul 6, 2021
1 parent 12622c5 commit 4de6f20
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions doc/guides/releases.md
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down

0 comments on commit 4de6f20

Please sign in to comment.