Fetch the pull request before checkout

This commit is contained in:
Oliver Schneider 2017-08-15 18:14:16 +02:00
parent 49fca85b19
commit f46777696c
1 changed files with 2 additions and 1 deletions

View File

@ -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