git-branch: add command (#3994)

2020-04-18 13:44:41 -04:00
parent 1fd81dfadc
commit 976cf2ffc8
1 changed files with 4 additions and 0 deletions
--- a/pages/common/git-branch.md
+++ b/pages/common/git-branch.md
@@ -30,3 +30,7 @@
 - Delete a local branch (must not have it checked out to do this):

 `git branch -d {{branch_name}}`
+
+- Delete a remote branch:
+
+`git push {{remote_name}} --delete {{remote_branch_name}}`