Update workflow to git oddities

rust-lang · Aug 15, 2017 · 93a9183 · 93a9183
1 parent b9e4bdb
commit 93a9183
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -309,8 +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 fetch origin pull/$id_of_your_pr/head
-git checkout pull/$id_of_your_pr/head
+git fetch origin pull/$id_of_your_pr/head:my_pr
+git checkout my_pr
 ```
 
 within the submodule's directory. Don't forget to also add your changes with