mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add guidance for making a PR fixes toolstate

This commit is contained in:
Yuki Okushi 2019-09-19 00:14:59 +09:00 committed by Who? Me?!
parent 2862a289ec
commit d290423947
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
README.md
View File

@ -64,7 +64,17 @@ when you run `mdbook build`.
10. Fix those links in the rustc-guide (by making a PR in the rustc-guide repo) 10. Fix those links in the rustc-guide (by making a PR in the rustc-guide repo)
11. Make a PR on the rust-lang/rust repo to update the rustc-guide git submodule in src/docs/rustc-guide 11. Make a PR on the rust-lang/rust repo to update the rustc-guide git submodule in src/docs/rustc-guide.
To make a PR, the following steps are useful.
```bash
# Assuming you already cloned the rust-lang/rust repo and you're in the correct directory
git submodule update --remote src/doc/rustc-guide
git add -u
git commit -m "Update rustc-guide"
./x.py test -i --stage 1 src/doc/rustc-guide # This is optional and should succeed anyway
# Open a PR in rust-lang/rust
```
12. Wait for PR to merge 12. Wait for PR to merge