Skip to content

Commit 415b72f

Browse files
committed
a consistent casing
1 parent a80078f commit 415b72f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ as:
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

1414
The dev guide has a much lower bar for changes to merged compared to the compiler itself. Incomplete
1515
and/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

4141
The dev guide is a [josh](https://josh-project.github.io/josh/intro.html) subtree of the main rust-lang/rust
4242
repo. This makes it easier for compiler contributors to update documentation in the dev guide in tandem with

0 commit comments

Comments
 (0)