From 7da3713a5679a32b299cf83ff1a418d5cd57fac3 Mon Sep 17 00:00:00 2001
From: Soon Van When you're done with a remote branch, whether it's been merged
into the remote master or you want to abandon it and sweep it under
- the rug, you'll issue a git push command with special
- colon to nuke that branch.git push command with a specially
+ placed colon symbol to remove that branch.
$ git push origin :tidy-cutlery
@@ -240,9 +240,9 @@ To git@github.com:octocat/Spoon-Knife.git
remote branch to become nothing.
- Alternatively, you can also run
+
Alternatively, you can run
git push remote-name --delete branchname
- which is basically a wrapper for the above colon prefix version.
+ which is a wrapper for the colon technique of deleting a remote branch.