# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1557087249 -10800
# Node ID 5179f42afc84354997f1762f1334d4281191b24a
# Parent  52bb40bb41b0b8ecdd28bfcda2bfcbc8f02fc97d
Delete remote branch.

diff -r 52bb40bb41b0 -r 5179f42afc84 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::