diff options
| author | Francesco Borzì <borzifrancesco@gmail.com> | 2019-08-27 11:39:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-27 11:39:03 +0200 |
| commit | 053f533a4dc7e7a6f7c90bacf5f0444712de9448 (patch) | |
| tree | c41578c37ca447d00f30fa72304bc3ce193468af | |
| parent | a211a13c48ccc9b96d6b7a671c855495e2c21672 (diff) | |
| download | wiki-053f533a4dc7e7a6f7c90bacf5f0444712de9448.tar.gz wiki-053f533a4dc7e7a6f7c90bacf5f0444712de9448.tar.bz2 wiki-053f533a4dc7e7a6f7c90bacf5f0444712de9448.zip | |
doc: fix typo
| -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) |