How to delete a remote & local git branch

To delete just the remote branch:
git push origin --delete your_branch_name
You might also choose to delete only your local branch that might also correspond to a remote branch:
git branch -d your_branch_name


Popular posts from this blog

Tuning ext4 for performance with emphasis on SSD usage

Rust’s impact on the industry

Brandan Eich on WebAssembly, Web Workers, and Decorators