diff options
Diffstat (limited to 'documentation/overview-manual/development-environment.rst')
-rw-r--r-- | documentation/overview-manual/development-environment.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/overview-manual/development-environment.rst b/documentation/overview-manual/development-environment.rst index 8ffa8c7e3e..19095fc116 100644 --- a/documentation/overview-manual/development-environment.rst +++ b/documentation/overview-manual/development-environment.rst | |||
@@ -550,11 +550,11 @@ descriptions and strategies on how to use these commands: | |||
550 | You need to be in a local branch other than the one you are deleting | 550 | You need to be in a local branch other than the one you are deleting |
551 | in order to delete branch-name. | 551 | in order to delete branch-name. |
552 | 552 | ||
553 | - *git pull --rebase:* Retrieves information from an upstream Git | 553 | - *git pull \-\-rebase*: Retrieves information from an upstream Git |
554 | repository and places it in your local Git repository. You use this | 554 | repository and places it in your local Git repository. You use this |
555 | command to make sure you are synchronized with the repository from | 555 | command to make sure you are synchronized with the repository from |
556 | which you are basing changes (e.g. the "&DISTRO_NAME_NO_CAP;" | 556 | which you are basing changes (e.g. the "&DISTRO_NAME_NO_CAP;" |
557 | branch). The "--rebase" option ensures that any local commits you | 557 | branch). The ``--rebase`` option ensures that any local commits you |
558 | have in your branch are preserved at the top of your local branch. | 558 | have in your branch are preserved at the top of your local branch. |
559 | 559 | ||
560 | - *git push repo-name local-branch:upstream-branch:* Sends | 560 | - *git push repo-name local-branch:upstream-branch:* Sends |