File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 99- Reviewing simple PRs to the guide that don't need domain-specific expertise
1010- Connect domain-specific doc changes with domain expert reviewers
1111
12- ## Review Policy
12+ ## Review policy
1313
1414The dev guide has a much lower bar for changes to merged compared to the compiler itself. Incomplete
1515and/or WIP documentation is preferred over no documentation. Stubbed out TODOs with issues tracking
@@ -36,7 +36,7 @@ There are some benefits following this rule:
3636- Changes to ` rustc-dev-guide ` repo do not need to go through bors CI in ` rust-lang/rust ` .
3737- Less burden on bors queue in ` rust-lang/rust ` .
3838
39- ## Subtree Syncs
39+ ## Subtree syncs
4040
4141The dev guide is a [ josh] ( https://josh-project.github.io/josh/intro.html ) subtree of the main rust-lang/rust
4242repo. This makes it easier for compiler contributors to update documentation in the dev guide in tandem with
You can’t perform that action at this time.
0 commit comments