# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1515004704 -7200
# Node ID f7b3d90697ab874a1168bbd2559ef99205db83fb
# Parent  0ba47cfd796bef7d8186e47761397884470e480d
Delete remote branch remotely.

diff -r 0ba47cfd796b -r f7b3d90697ab git.rst
--- 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