diff options
| author | bors <bors@rust-lang.org> | 2023-04-03 11:43:22 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-04-03 11:43:22 +0000 |
| commit | 207955cee5708c3a521da9a9a71a46e5deb7445f (patch) | |
| tree | eb8b2c3a08bc6acb5de295931c53764050530b81 | |
| parent | 7fe83edc11ccc255372be5a7bc0372d6011cc5df (diff) | |
| parent | d29dec1a3f15914871cd0451dab899501156688d (diff) | |
Auto merge of #10574 - jyn514:update-docs, r=flip1995
Update subtree sync docs for changes in rustc-dev-guide Companion PR to https://github.com/rust-lang/rustc-dev-guide/pull/1653. That still keeps a `contributing.html` with an "External Contributions" section, so hopefully it won't be too disruptive. changelog: none
| -rw-r--r-- | book/src/development/infrastructure/sync.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/book/src/development/infrastructure/sync.md b/book/src/development/infrastructure/sync.md index 7fb127c6284..e1fe92f9525 100644 --- a/book/src/development/infrastructure/sync.md +++ b/book/src/development/infrastructure/sync.md @@ -19,8 +19,7 @@ to beta. For reference, the first sync following this cadence was performed the 2020-08-27. This process is described in detail in the following sections. For general -information about `subtree`s in the Rust repository see [Rust's -`CONTRIBUTING.md`][subtree]. +information about `subtree`s in the Rust repository see [the rustc-dev-guide][subtree]. ## Patching git-subtree to work with big repos @@ -118,5 +117,5 @@ All the following commands have to be run inside the `rust` directory. 3. Open a PR to [`rust-lang/rust`] [gitgitgadget-pr]: https://github.com/gitgitgadget/git/pull/493 -[subtree]: https://rustc-dev-guide.rust-lang.org/contributing.html#external-dependencies-subtree +[subtree]: https://rustc-dev-guide.rust-lang.org/external-repos.html#external-dependencies-subtree [`rust-lang/rust`]: https://github.com/rust-lang/rust |