diff options
Diffstat (limited to 'doc/gawkworkflow.info')
| -rw-r--r-- | doc/gawkworkflow.info | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/doc/gawkworkflow.info b/doc/gawkworkflow.info index 88240ba6..35b8bebd 100644 --- a/doc/gawkworkflow.info +++ b/doc/gawkworkflow.info @@ -1281,8 +1281,8 @@ feature branch. Since 'feature/python' is no longer needed, it can be gotten rid of: - $ git branch -d feature/python Still on master, delete feature branch - $ git push -u origin -d feature/python Delete the branch on Savannah + $ git branch -d feature/python Still on master, delete feature branch + $ git push -u origin --delete feature/python Delete the branch on Savannah The 'git push' command deletes the 'feature/python' branch from the Savannah repo. @@ -1648,7 +1648,7 @@ given Git command. 'git push' Push commits from your local tracking branch 'XXX' through 'origin/XXX' and on to branch 'XXX' in the upstream repo. Use 'git - push -u origin -d XXX' to delete an upstream branch. (Do so + push -u origin --delete XXX' to delete an upstream branch. (Do so carefully!) 'git rebase' @@ -1961,20 +1961,20 @@ Node: Developing patches44628 Node: Developing new features45964 Node: Developing fixes47868 Node: General practices48955 -Node: Repo Maintenance53685 -Ref: Repo Maintenance-Footnote-156454 -Node: Development Stuff56587 -Node: Coding style57150 -Ref: Coding style-Footnote-157808 -Node: Doing paperwork57898 -Node: Tools58693 -Node: GNU Tools59275 -Node: Compilers61436 -Ref: Compilers-Footnote-163930 -Node: Debugging63968 -Node: Cheat Sheet64674 -Node: Resources68355 -Node: TODO68798 -Node: Index69018 +Node: Repo Maintenance53697 +Ref: Repo Maintenance-Footnote-156466 +Node: Development Stuff56599 +Node: Coding style57162 +Ref: Coding style-Footnote-157820 +Node: Doing paperwork57910 +Node: Tools58705 +Node: GNU Tools59287 +Node: Compilers61448 +Ref: Compilers-Footnote-163942 +Node: Debugging63980 +Node: Cheat Sheet64686 +Node: Resources68373 +Node: TODO68816 +Node: Index69036 End Tag Table |