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!
![JavaScript Promise API]()
While synchronous code is easier to follow and debug, async is generally better for performance and flexibility. Why "hold up the show" when you can trigger numerous requests at once and then handle them when each is ready? Promises are becoming a big part of the JavaScript world...
![CSS vs. JS Animation: Which is Faster?]()
How is it possible that JavaScript-based animation has secretly always been as fast — or faster — than CSS transitions? And, how is it possible that Adobe and Google consistently release media-rich mobile sites that rival the performance of native apps?
This article serves as a point-by-point...
![Sexy Link Transformations with CSS]()
I was recently visiting MooTools Developer Christoph Pojer's website and noticed a sexy link hover effect: when you hover the link, the the link animates and tilts to the left or the right. To enhance the effect, the background color of the link is...
![afterscriptexecute Event]()
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.