From 93a918325633085aed955abf291d4dff4b1e0aa7 Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Tue, 15 Aug 2017 18:32:04 +0200 Subject: [PATCH] Update workflow to git oddities --- CONTRIBUTING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index cac56203e740d..e58d8e124791d 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