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 | |
| parent | b9e4bdbf6017739a0d9c1fa40532d1752021af14 (diff) | |
| download | rust-93a918325633085aed955abf291d4dff4b1e0aa7.tar.gz rust-93a918325633085aed955abf291d4dff4b1e0aa7.zip | |
Update workflow to git oddities
| -rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index cac56203e74..e58d8e12479 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, 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 |