Skip to content

Commit 92cc629

Browse files
committed
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>
1 parent ce666d7 commit 92cc629

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

doc/guides/releases.md

Lines changed: 3 additions & 3 deletions
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)