From 053f533a4dc7e7a6f7c90bacf5f0444712de9448 Mon Sep 17 00:00:00 2001 From: Francesco Borzì Date: Tue, 27 Aug 2019 11:39:03 +0200 Subject: doc: fix typo --- docs/How-to-create-a-PR.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/How-to-create-a-PR.md b/docs/How-to-create-a-PR.md index 56a6936..8c8077b 100644 --- a/docs/How-to-create-a-PR.md +++ b/docs/How-to-create-a-PR.md @@ -125,7 +125,7 @@ git will ask to specify which remote branch you want to push to. So you should give: ``` -git push ---set-upstream origin fix-issue-xxxx +git push --set-upstream origin fix-issue-xxxx ``` (of course replace `fix-issue-xxxx` with the actual name of your branch) -- cgit