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