Skip to content

Commit

Permalink
Merge pull request rust-lang#2213 from jieyouxu/install-josh-proxy
Browse files Browse the repository at this point in the history
  • Loading branch information
jieyouxu authored Jan 20, 2025
2 parents c1b4cfa + 81e9f12 commit 28d85dc
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -74,6 +74,13 @@ including the `<!-- toc -->` marker at the place where you want the TOC.

This repository is linked to `rust-lang/rust` as a [josh](https://josh-project.github.io/josh/intro.html) subtree. You can use the following commands to synchronize the subtree in both directions.

You'll need to install `josh-proxy` locally via

```
cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r24.10.04
```
Older versions of `josh-proxy` may not round trip commits losslessly so it is important to install this exact version.

### Pull changes from `rust-lang/rust` into this repository
1) Checkout a new branch that will be used to create a PR into `rust-lang/rustc-dev-guide`
2) Run the pull command
Expand Down

0 comments on commit 28d85dc

Please sign in to comment.