mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
point to my fork of josh for now

This is the version of josh that I used to create https://github.com/rust-lang/rust/pull/103392.
This commit is contained in:
bors 2022-10-24 08:14:12 +00:00
commit 71e81ab674
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/tools/miri/CONTRIBUTING.md
View file

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