changeset 2214 | f7b3d90697ab |
parent 2211 | 473f6c2b0fdf |
child 2232 | ac7f6d8bea28 |
--- a/git.rst Fri Dec 29 21:36:29 2017 +0200 +++ b/git.rst Wed Jan 03 20:38:24 2018 +0200 @@ -218,6 +218,16 @@ $ git pull $REMOTE $ git pull origin +Delete local branch:: + + $ git branch -d $NAME + +Delete remote branch remotely:: + + $ git push --delete $REMOTE $BRANCH_NAME + $ git push -d $REMOTE $BRANCH_NAME + $ git push -d origin $BRANCH_NAME + To locally remove pointers to deleted remotely branches:: $ git remote update --prune