mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

book: move warning to the right place

Browse Source
This commit is contained in:
Samuel Tardieu 2023-02-12 15:18:38 +01:00
parent 0f7558148c
commit 21433abcea
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
book/src/development/infrastructure/backport.md
View File

@ -28,6 +28,7 @@ repository. You can do this with:
```bash ```bash
# Assuming the current directory corresponds to the Rust repository # Assuming the current directory corresponds to the Rust repository
$ git checkout beta $ git checkout beta
# Make sure to change `your-github-name` to your github name in the following command
$ git subtree pull -p src/tools/clippy https://github.com/<your-github-name>/rust-clippy backport $ git subtree pull -p src/tools/clippy https://github.com/<your-github-name>/rust-clippy backport
$ ./x.py test src/tools/clippy $ ./x.py test src/tools/clippy
``` ```

3
book/src/development/infrastructure/sync.md
View File

@ -79,8 +79,7 @@ to be run inside the `rust` directory):
`rustup check`. `rustup check`.
3. Sync the changes to the rust-copy of Clippy to your Clippy fork: 3. Sync the changes to the rust-copy of Clippy to your Clippy fork:
```bash ```bash
# Make sure to change `your-github-name` to your github name in the following command. Also be # Be sure to either use a net-new branch, e.g. `sync-from-rust`, or delete the branch beforehand
# sure to either use a net-new branch, e.g. `sync-from-rust`, or delete the branch beforehand
# because changes cannot be fast forwarded and you have to run this command again. # because changes cannot be fast forwarded and you have to run this command again.
git subtree push -P src/tools/clippy clippy-local sync-from-rust git subtree push -P src/tools/clippy clippy-local sync-from-rust
``` ```