author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 03 Jan 2018 20:38:24 +0200 | |
changeset 2214 | f7b3d90697ab |
parent 2213 | 0ba47cfd796b |
child 2215 | 3b163a0580fc |
--- 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