diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-10 09:56:59 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-07-10 09:56:59 +0200 |
| commit | f1ae43f14d2b1737b71fc14c20b1242a74d66c2b (patch) | |
| tree | c59c2e3eb9549277f5f51edc729589cbc7a54f8b /src/doc/rustc-dev-guide | |
| parent | 1ef00724e6924eef87dac2711369c48c0adaf416 (diff) | |
| download | rust-f1ae43f14d2b1737b71fc14c20b1242a74d66c2b.tar.gz rust-f1ae43f14d2b1737b71fc14c20b1242a74d66c2b.zip | |
Mention that compiler-builtins is now using `rustc-josh-sync`
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/external-repos.md | 3 |
1 files changed, 2 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 0f7322357b9..68986a0bc68 100644 --- a/src/doc/rustc-dev-guide/src/external-repos.md +++ b/src/doc/rustc-dev-guide/src/external-repos.md @@ -44,7 +44,7 @@ implement a new tool feature or test, that should happen in one collective rustc * `miri` ([sync guide](https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#advanced-topic-syncing-with-the-rustc-repo)) * `rust-analyzer` ([sync script](https://github.com/rust-lang/rust-analyzer/blob/2e13684be123eca7181aa48e043e185d8044a84a/xtask/src/release.rs#L147)) * `rustc-dev-guide` ([josh sync](#synchronizing-a-josh-subtree)) - * `compiler-builtins` + * `compiler-builtins` ([josh sync](#synchronizing-a-josh-subtree)) * `stdarch` ([josh sync](#synchronizing-a-josh-subtree)) ### Josh subtrees @@ -56,6 +56,7 @@ The [josh] tool is an alternative to git subtrees, which manages git history in We use a dedicated tool called [`rustc-josh-sync`][josh-sync] for performing Josh subtree updates. Currently, we are migrating Josh repositories to it. So far, it is used in: +- compiler-builtins - rustc-dev-guide - stdarch |