Skip to content

Commit 69b4435

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 <[email protected]>
1 parent 9c85be1 commit 69b4435

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

doc/guides/maintaining-V8.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -382,7 +382,7 @@ git node v8 major --branch=5.1-lkgr
382382

383383
This should be followed up with manual refloating of all relevant patches.
384384

385-
## Proposal: using a fork repo to track upstream V8
385+
## Proposal: using a fork repository to track upstream V8
386386

387387
The fact that Node.js keeps a vendored, potentially edited copy of V8 in deps/
388388
makes the above processes a bit complicated. An alternative proposal would be to

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)