diff options
| author | Philipp Krones <hello@philkrones.com> | 2020-05-25 17:11:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-25 17:11:07 +0200 |
| commit | 7a83eafd44b57196a454d10628d1cce1bfd60bd2 (patch) | |
| tree | 0fd2e1b63dfb52e98070df13abb4167831326bed | |
| parent | 1a9ba3b2c208f8131587ece3ad8fb159336dd694 (diff) | |
Also fetch origin before merging master into the rustup branch
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index c9180e58fc2..0f47ac98fd2 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -183,8 +183,8 @@ to be run inside the `rust` directory): `rust-clippy` repo (this has to be done in the Clippy repo, not in the rust-copy of Clippy): ```bash + git fetch origin && git fetch upstream git checkout sync-from-rust - git fetch upstream git merge upstream/master ``` 3. Open a PR to `rust-lang/rust-clippy` and wait for it to get merged (to |
