From 03caf83ac9d2862ca72daa5d18f2af27d68db1d4 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Fri, 24 Nov 2017 10:03:39 +0200 Subject: Fix wrong option in gawkworkflow.texi. --- doc/gawkworkflow.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/gawkworkflow.texi') 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 -- cgit v1.2.3