diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/How-to-create-a-PR.md | 2 |
1 files changed, 1 insertions, 1 deletions
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) |
