Skip to content

Commit c08ed26

Browse files
authored
Merge pull request #909 from xizheyin/where-contribute
2 parents 41e61b5 + 62e51e1 commit c08ed26

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

src/wg-rustc-dev-guide/index.md

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,16 @@ A good rule of thumb for whether you should feel comfortable merging your own ru
2626
you would feel comfortable approving an involved PR touching the relevant area of the compiler. See the
2727
compiler [review policy](../compiler/reviews.md).
2828

29+
## Where to contribute `rustc-dev-guide` changes
30+
31+
If your change **only involves the documentation content of rustc-dev-guide** and **does not accompany `rust-lang/rust` code changes**,
32+
please submit your changes and PRs directly to the [rust-lang/rustc-dev-guide](https://github.com/rust-lang/rustc-dev-guide) repository.
33+
34+
There are some benifits following this rule:
35+
- Changes to `rustc-dev-guide` repo can be immediately reflected in [the live rustc-dev-guide](https://rustc-dev-guide.rust-lang.org/).
36+
- Changes to `rustc-dev-guide` repo do not need to go through bors CI in `rust-lang/rust`.
37+
- Less burden on bors queue in `rust-lang/rust`.
38+
2939
## Subtree Syncs
3040

3141
The dev guide is a [josh](https://josh-project.github.io/josh/intro.html) subtree of the main rust-lang/rust

0 commit comments

Comments
 (0)