Auto merge of #106801 - JohnTitor:rollup-xqkraw0, r=JohnTitor

[rust.git] / src / tools / miri / CONTRIBUTING.md

diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md
index 9d61cc4e2d5f0f0a686ef639e5940e5ed49ba777..5b538691de183471283ff68a1da19815877cfc7b 100644 (file)
--- a/src/tools/miri/CONTRIBUTING.md
+++ b/src/tools/miri/CONTRIBUTING.md
@@ -232,16 +232,16 @@ You can also directly run Miri on a Rust source file:
 
 ## Advanced topic: Syncing with the rustc repo
 
-We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit
-changes between the rustc and Miri repositories. For now, the latest git version
-of josh needs to be built from source. This downloads and runs josh:
+We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit changes between the
+rustc and Miri repositories.
 
 ```sh
-git clone https://github.com/josh-project/josh
-cd josh
-cargo run --release -p josh-proxy -- --local=local --remote=https://github.com --no-background
+cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06
+josh-proxy --local=$HOME/.cache/josh --remote=https://github.com --no-background
 ```
 
+This uses a directory `$HOME/.cache/josh` as a cache, to speed up repeated pulling/pushing.
+
 ### Importing changes from the rustc repo
 
 Josh needs to be running, as described above.