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!
![An Interview with Eric Meyer]()
Your early CSS books were instrumental in pushing my love for front end technologies. What was it about CSS that you fell in love with and drove you to write about it?
At first blush, it was the simplicity of it as compared to the table-and-spacer...
![Interview with a Pornhub Web Developer]()
Regardless of your stance on pornography, it would be impossible to deny the massive impact the adult website industry has had on pushing the web forward. From pushing the browser's video limits to pushing ads through WebSocket so ad blockers don't detect them, you have...
![JavaScript and CSS Spinners with spin.js]()
![Introducing MooTools Dotter]()
It's best practice to provide an indicator of some sort when performing an AJAX request or processing that takes place in the background. Since the dawn of AJAX, we've been using colorful spinners and imagery as indicators. While I enjoy those images, I am...
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.