diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-07-04 14:13:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-04 14:13:15 +0200 |
| commit | f167f9b49ec85dae8756c21f5183cdb1f43c6d4d (patch) | |
| tree | 967f1dfa5515b0a76294770261f11dd7cfad7ca9 | |
| parent | dbad97664ebe2eea14a2ea0d9b0df3d7218753cf (diff) | |
| download | rust-f167f9b49ec85dae8756c21f5183cdb1f43c6d4d.tar.gz rust-f167f9b49ec85dae8756c21f5183cdb1f43c6d4d.zip | |
external-repos.md: small fixes
| -rw-r--r-- | src/doc/rustc-dev-guide/src/external-repos.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/src/external-repos.md b/src/doc/rustc-dev-guide/src/external-repos.md index a19b1116de8..fc40b5d2bfa 100644 --- a/src/doc/rustc-dev-guide/src/external-repos.md +++ b/src/doc/rustc-dev-guide/src/external-repos.md @@ -49,7 +49,7 @@ implement a new tool feature or test, that should happen in one collective rustc ### Josh subtrees -The [josh] tool is an alternative to git subtrees, which manages git history in a different way and scales better to larger repositories. Specific tooling is required to work with josh, you can check out the `miri` or `rust-analyzer` scripts linked above for inspiration. We provide a helper [`rustc-josh-sync`][josh-sync] tool to help with the synchronization, it is described [below](#synchronizing-a-josh-subtree). +The [josh] tool is an alternative to git subtrees, which manages git history in a different way and scales better to larger repositories. Specific tooling is required to work with josh; you can check out the `miri` or `rust-analyzer` scripts linked above for inspiration. We provide a helper [`rustc-josh-sync`][josh-sync] tool to help with the synchronization, described [below](#synchronizing-a-josh-subtree). ### Synchronizing a Josh subtree @@ -58,8 +58,7 @@ Currently, we are migrating Josh repositories to it. So far, it is used in: - rustc-dev-guide -To use the tool, first install it with `cargo install --locked --git https://github. -com/rust-lang/josh-sync`. +To use the tool, first install it with `cargo install --locked --git https://github.com/rust-lang/josh-sync`. Both pulls (synchronize changes from rust-lang/rust into the subtree) and pushes (synchronize changes from the subtree to rust-lang/rust) are performed from the subtree repository (so first |