Delete remote branch remotely.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Wed, 03 Jan 2018 20:38:24 +0200
changeset 2214 f7b3d90697ab
parent 2213 0ba47cfd796b
child 2215 3b163a0580fc
Delete remote branch remotely.
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