Delete remote branch.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Sun, 05 May 2019 23:14:09 +0300
changeset 2360 5179f42afc84
parent 2359 52bb40bb41b0
child 2361 469d85d8bc88
Delete remote branch.
git.rst
--- 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::