diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-07-17 06:32:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-17 06:32:56 +0200 |
| commit | 41c0c5b73cddbed636a1a48c8a38b7c66b8641cf (patch) | |
| tree | 03b39eb0b1d89df88aed82201c7258227df30c7c /src | |
| parent | b2474c87e1e4a8f01ba935084bb99804942de91b (diff) | |
| parent | dd364bd2261b37b6cd0d7f823b158a0c2903746b (diff) | |
| download | rust-41c0c5b73cddbed636a1a48c8a38b7c66b8641cf.tar.gz rust-41c0c5b73cddbed636a1a48c8a38b7c66b8641cf.zip | |
Merge pull request #2510 from rust-lang/tshepang-patch-1
copy-paste convenience
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/external-repos.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/external-repos.md b/src/doc/rustc-dev-guide/src/external-repos.md index 68986a0bc68..ecc65b26ab7 100644 --- a/src/doc/rustc-dev-guide/src/external-repos.md +++ b/src/doc/rustc-dev-guide/src/external-repos.md @@ -60,7 +60,10 @@ Currently, we are migrating Josh repositories to it. So far, it is used in: - rustc-dev-guide - stdarch -To use the tool, first install it with `cargo install --locked --git https://github.com/rust-lang/josh-sync`. +To install the tool: +``` +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 |