diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-11-24 10:03:39 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-11-24 10:03:39 +0200 |
| commit | 03caf83ac9d2862ca72daa5d18f2af27d68db1d4 (patch) | |
| tree | f3996d2249d332920cf4ce31efa025fab19be6e3 /doc/gawkworkflow.texi | |
| parent | b7b2c08b9d42630135f5a442dab69402fba86b73 (diff) | |
| download | egawk-03caf83ac9d2862ca72daa5d18f2af27d68db1d4.tar.gz egawk-03caf83ac9d2862ca72daa5d18f2af27d68db1d4.tar.bz2 egawk-03caf83ac9d2862ca72daa5d18f2af27d68db1d4.zip | |
Fix wrong option in gawkworkflow.texi.
Diffstat (limited to 'doc/gawkworkflow.texi')
| -rw-r--r-- | doc/gawkworkflow.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gawkworkflow.texi b/doc/gawkworkflow.texi index f9ec2088..88d5e5db 100644 --- a/doc/gawkworkflow.texi +++ b/doc/gawkworkflow.texi @@ -1682,8 +1682,8 @@ gotten rid of: @cindex @code{git branch} @cindex @code{git push} @example -$ @kbd{git branch -d feature/python} @ii{Still on} master@ii{, delete feature branch} -$ @kbd{git push -u origin -d feature/python} @ii{Delete the branch on Savannah} +$ @kbd{git branch -d feature/python} @ii{Still on} master@ii{, delete feature branch} +$ @kbd{git push -u origin --delete feature/python} @ii{Delete the branch on Savannah} @end example The @samp{git push} command deletes the @code{feature/python} @@ -2104,7 +2104,7 @@ into @code{@var{xxx}}. @item git push Push commits from your local tracking branch @code{@var{xxx}} through @code{origin/@var{xxx}} and on to branch @code{@var{xxx}} -in the upstream repo. Use @samp{git push -u origin -d @var{xxx}} to delete +in the upstream repo. Use @samp{git push -u origin --delete @var{xxx}} to delete an upstream branch. (Do so carefully!) @item git rebase |