How to Delete a git Remote Branch
Keeping a tidy repository is important; not just a tidy codebase, but a tidy repository in as far as not having spare branches rotting around. Generally the main repository doesn't keep multiple branches but sometimes you need to push to a main repository simply to get Travis CI to run tests. Once a branch is merged, for example, we no longer need it around.
Deleting a branch on a local host machine repo is easy:
git branch -d <branch_name>
To remove a branch from the remote git repository, like a GitHub-hosted repository, you can execute:
git push <remote_name> --delete <branch_name>
If you learned something here, check out Delete Merged Branches with git!
![Send Text Messages with PHP]()
Kids these days, I tell ya. All they care about is the technology. The video games. The bottled water. Oh, and the texting, always the texting. Back in my day, all we had was...OK, I had all of these things too. But I still don't get...
![Create Namespaced Classes with MooTools]()
MooTools has always gotten a bit of grief for not inherently using and standardizing namespaced-based JavaScript classes like the Dojo Toolkit does. Many developers create their classes as globals which is generally frowned up. I mostly disagree with that stance, but each to their own. In any event...
![Create Spinning Rays with CSS3 Animations & JavaScript]()
Thomas Fuchs, creator of script2 (scriptaculous' second iteration) and Zepto.js (mobile JavaScript framework), creates outstanding animated elements with JavaScript. He's a legend in his own right, and for good reason: his work has helped to inspire developers everywhere to drop Flash and opt...
![Create Short Preview from Video]()
It is even easier to delete a remote branch!
Note the colon before the branch.
You can also do
– Note the colon, that states to delete the remote branch!
So it seems like it parsed my placeholders as HTML;
Would delete develop branch on the origin remote.