diff options
| author |   John DeNisco <jdenisco@cisco.com> | 2018-07-26 16:21:31 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2018-07-27 00:13:36 +0000 |
| commit | 2d1a04371a8e61f9d5ba8b028f41fcbcec017b9c (patch) | |
| tree | b2d23b0b9619c0fe75b190e505af66c4e21e07b7 /docs/gettingstarted | |
| parent | 9bae0ca53ba0497867881977c0386eb627ab59f3 (diff) | |
Fix .gitignore so docs/Makefile is not ignored. Add README and Makefile. Fis gitreview.
Change-Id: I3d664d9c881ce127a09b9d68c1181a7098a39074
Signed-off-by: John DeNisco <jdenisco@cisco.com>
Diffstat (limited to 'docs/gettingstarted')
| -rw-r--r-- | docs/gettingstarted/writingdocs/gitreview.rst | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/docs/gettingstarted/writingdocs/gitreview.rst b/docs/gettingstarted/writingdocs/gitreview.rst index 63916e1d752..308e313460b 100644 --- a/docs/gettingstarted/writingdocs/gitreview.rst +++ b/docs/gettingstarted/writingdocs/gitreview.rst @@ -39,24 +39,24 @@ To get a new patch reviewed use the following: .. code-block:: console - git status - git add <filename> - git commit -s - git review + $ git status + $ git add <filename> + $ git commit -s + $ git review If the patch is a draft use the following: .. note:: - git review -D + $ git review -D To get back to the master: .. code-block:: console - git reset --hard origin/master - git checkout master + $ git reset --hard origin/master + $ git checkout master Existing patch -------------- @@ -66,7 +66,7 @@ To modify an existing patch: .. code-block:: console - git status - git add <filename> - git commit --amend - git review + $ git status + $ git add <filename> + $ git commit --amend + $ git review |