user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

external-repos.md: small fixes

Browse source
This commit is contained in:
Tshepang Mbambo 2025-07-04 14:13:15 +02:00 • committed by GitHub
parent dbad97664e
commit f167f9b49e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/doc/rustc-dev-guide/src/external-repos.md
View file

@ -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