From f46777696cba5566b0312cfb37686e4840e2df5a Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 15 Aug 2017 18:14:16 +0200
Subject: [PATCH] Fetch the pull request before checkout

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

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 8258b68841bb..cac56203e740 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -309,7 +309,8 @@ a pull request against the broken project. When you have opened a pull request,
 you can point the submodule at your pull request by calling
 
 ```
-git checkout pulls/$id_of_your_pr/head
+git fetch origin pull/$id_of_your_pr/head
+git checkout pull/$id_of_your_pr/head
 ```
 
 within the submodule's directory. Don't forget to also add your changes with