Also fetch origin before merging master into the rustup branch

2020-05-25 17:11:07 +02:00 · 2020-05-25 17:11:07 +02:00 · 7a83eafd44
commit 7a83eafd44
parent 1a9ba3b2c2
1 changed files with 1 additions and 1 deletions
--- 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