diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-08-15 18:32:04 +0200 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-08-15 18:32:04 +0200 |
| commit | 93a918325633085aed955abf291d4dff4b1e0aa7 (patch) | |
| tree | ac906716b3489aeb9114aebeda70526d2317bb10 /CONTRIBUTING.md | |
| parent | Add a Cargo.lock to clippy (diff) | |
| download | grust-93a918325633085aed955abf291d4dff4b1e0aa7.tar.gz grust-93a918325633085aed955abf291d4dff4b1e0aa7.tar.bz2 grust-93a918325633085aed955abf291d4dff4b1e0aa7.tar.xz | |
Update workflow to git oddities
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index cac56203e7..e58d8e1247 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md | |||
| @@ -309,8 +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 fetch origin pull/$id_of_your_pr/head | 312 | git fetch origin pull/$id_of_your_pr/head:my_pr |
| 313 | git checkout pull/$id_of_your_pr/head | 313 | git checkout my_pr |
| 314 | ``` | 314 | ``` |
| 315 | 315 | ||
| 316 | 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 |