Delete remote branch.
--- a/git.rst Mon Apr 29 03:18:34 2019 +0300
+++ b/git.rst Sun May 05 23:14:09 2019 +0300
@@ -218,15 +218,16 @@
$ git pull $REMOTE
$ git pull origin
-Delete local branch::
+Delete local branch (``-D`` is unsafe i.e. changes aren't pushed to any remote)::
$ git branch -d $NAME
+ $ git branch -D $NAME
Delete remote branch::
- $ git push --delete $REMOTE $BRANCH_NAME
- $ git push -d $REMOTE $BRANCH_NAME
- $ git push -d origin $BRANCH_NAME
+ $ git push $REMOTE --delete $BRANCH_NAME
+ $ git push $REMOTE -d $BRANCH_NAME
+ $ git push origin -d $BRANCH_NAME
To locally remove pointers to deleted remotely branches::