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 /CONTRIBUTING.md | |
| parent | Document the process of updating external dependencies (diff) | |
| download | grust-f46777696cba5566b0312cfb37686e4840e2df5a.tar.gz grust-f46777696cba5566b0312cfb37686e4840e2df5a.tar.bz2 grust-f46777696cba5566b0312cfb37686e4840e2df5a.tar.xz | |
Fetch the pull request before checkout
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8258b68841..cac56203e7 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, | |||
| 309 | you can point the submodule at your pull request by calling | 309 | you can point the submodule at your pull request by calling |
| 310 | 310 | ||
| 311 | ``` | 311 | ``` |
| 312 | git checkout pulls/$id_of_your_pr/head | 312 | git fetch origin pull/$id_of_your_pr/head |
| 313 | git checkout pull/$id_of_your_pr/head | ||
| 313 | ``` | 314 | ``` |
| 314 | 315 | ||
| 315 | within the submodule's directory. Don't forget to also add your changes with | 316 | within the submodule's directory. Don't forget to also add your changes with |