diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-08-15 18:14:16 +0200 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-08-15 18:14:16 +0200 |
| commit | f46777696cba5566b0312cfb37686e4840e2df5a (patch) | |
| tree | fb70da4c9581bb89afcbf82f4463d1ea974057ae | |
| parent | 49fca85b1902e599f8c3dadece7de85ecc6cbd06 (diff) | |
| download | rust-f46777696cba5566b0312cfb37686e4840e2df5a.tar.gz rust-f46777696cba5566b0312cfb37686e4840e2df5a.zip | |
Fetch the pull request before checkout
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8258b68841b..cac56203e74 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 |
