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 authored and targos committed Sep 4, 2021
1 parent 6852389 commit a4d70ff
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 a4d70ff

Please sign in to comment.