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!
![Vibration API]()
Many of the new APIs provided to us by browser vendors are more targeted toward the mobile user than the desktop user. One of those simple APIs the Vibration API. The Vibration API allows developers to direct the device, using JavaScript, to vibrate in...
![Animating CSS3 Transforms with MooTools Fx]()
![Sexy Opacity Animation with MooTools or jQuery]()
A big part of the sexiness that is Apple software is Apple's use of opacity. Like seemingly every other Apple user interface technique, it needs to be ported to the web (</fanboy>). I've put together an example of a sexy opacity animation technique...
![Implement the Google AJAX Search API]()
Let's be honest...WordPress' search functionality isn't great. Let's be more honest...no search functionality is better than Google's. Luckily for us, Google provides an awesome method by which we can use their search for our own site: the Google AJAX Search API.
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.