From 7a83eafd44b57196a454d10628d1cce1bfd60bd2 Mon Sep 17 00:00:00 2001
From: Philipp Krones <hello@philkrones.com>
Date: Mon, 25 May 2020 17:11:07 +0200
Subject: [PATCH] Also fetch origin before merging master into the rustup
 branch

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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