Auto merge of rust-lang#2615 - RalfJung:josh, r=oli-obk

point to my fork of josh for now This is the version of josh that I used to create rust-lang#103392.
Aaron1011 · Oct 24, 2022 · ff0f5b3 · ff0f5b3
2 parents b51470a + 29a9f3d
commit ff0f5b3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -279,13 +279,12 @@ With this, you should now have a working development setup! See
 ## 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, josh needs to be built
+changes between the rustc and Miri repositories. For now, a fork of josh needs to be built
 from source. This downloads and runs josh:
 
 ```sh
-git clone https://github.com/josh-project/josh
+git clone https://github.com/RalfJung/josh
 cd josh
-git checkout @changes/master/christian.schilling.de@gmail.com/start-filter
 cargo run --release -p josh-proxy -- --local=$(pwd)/local --remote=https://github.com --no-background
 ```